Information technology. Security techniques. Verification of cryptographic protocols
Information technology. Security techniques. Verification of cryptographic protocols
Мы хотим включить аналитику посещений, чтобы понимать, что искать людям на сайте. Без вашего согласия счётчики не загружаются. Политика конфиденциальности
1 Scope This International Standard establishes a technical base for the security proof of the specification of cryptographic protocols . This International Standard specifies design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. This International Standard also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.
Упомянутые в описании и другие стандарты BS