Список литературы к разделу Основные принципы конструирования и анализа криптографических протоколов

From CryptoWiki
Jump to: navigation, search

Черемушкин А. В. Криптографические протоколы. Основные свойства и уязвимости. Учебное пособие для вузов. – М.: Издательский центр "Академия", 2009. – 8-13 c.

Automated Validation of Internet Security Protocols and Applications (AVISPA). IST-2001-39252. Deliverable 2.1 : The high level protocol specification language.-2003.– URL:http://avispa-project.org/publications.html (дата обращения 25.11.2014)

Backes M. Compositional Analisis of Contact Signing Protocols / N. Backes, A. Datta, A. Derek // Proc. 18-th IEEE Computer Srcurity Foundations Workshop (CSFW-18).-Aix-en-Provence, 2005.-Theoretical Computer Science.-2005.-P. 33-56

Katz J., Lindell Y. Introduction to Modern Cryptography: Principles and Protocols. - Chapman and Hall/CRC, 2007. - P. 187-193

На главную страницу раздела