Scientific Methods to Design and Analyze Secure Decentralized Systems