Improving the ISO/IEC 11770 standard for key management techniques
Cas Cremers and Marko Horvat
ISSN
1615−5262
Journal
International Journal of Information Security
Keywords
Formal analysis; ISO; Protocol standards; Security protocols
Language
English
Pages
1−15
Publisher
Springer Berlin Heidelberg
Year
2015