Das Lustige an der Kryptographie ist, dass alle Modelle von Gegnern ausgehen und gegen Bedrohungen verteidigen, aber das Protokolldesign oft optimistische Bedingungen in der realen Welt annimmt (ehrliche Mehrheit usw.).