암호화 프로토콜을 위한 신중한 엔지니어링 관행

우리는 암호화 프로토콜을 설계하기 위한 원칙을 제시합니다. 이 원칙들은 정확성을 위한 필요 조건도 충분 조건도 아닙니다. 그러나 이 원칙을 준수하면 여러 가지 발표된 오류를 방지할 수 있었기 때문에 유용합니다. 우리의 원칙은 비공식적인 가이드라인입니다. 이는 형식적인 방법을 보완하지만, 이에 의존하지는 않습니다. 이러한 가이드라인의 실제 적용 가능성을 입증하기 위해, 우리는 문헌에서 몇 가지 교육적인 예를 논의합니다.