Improving the ISO/IEC 11770 standard for key management techniques

被引:0
|
作者
Cas Cremers
Marko Horvat
机构
[1] University of Oxford,
关键词
Formal analysis; ISO; Protocol standards; Security protocols;
D O I
暂无
中图分类号
学科分类号
摘要
We provide the first systematic analysis of the ISO/IEC 11770 standard for key management techniques (2009, 2009), which describes a set of key establishment, key agreement, and key transport protocols. We analyse the claimed security properties, as well as additional modern requirements on key management protocols, for over 30 protocols and their variants. Our formal, tool-supported analysis of the protocols uncovers several incorrect claims in the standard. We provide concrete suggestions for improving the standard.
引用
收藏
页码:659 / 673
页数:14
相关论文
共 50 条