协议认证性安全属性测试方法.pdfVIP

第１１ 期 电 子 学 报 Ｖｏｌ．４４ Ｎｏ．１１ ２０１６ 年１１ 月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｎｏｖ．２０１６ 协议认证性安全属性测试方法 １，２ １ １ １ 何云华 ，杨 超 ，张俊伟 ，马建峰 （１西安电子科技大学计算机网络与信息安全教育部重点实验室，陕西西安７１００７１； ２．北方工业大学计算机学院信息安全系，北京 １０００２９） 摘 要： 认证性建立通信双方的信任关系，是安全通信的重要保障．传统的协议测试方法只关注协议功能的正 确性，无法满足认证性等安全属性测试的要求．因此，提出了一种针对协议认证性的安全属性测试方法，利用带目标集 合的有限状态机模型ＳＰＧＥＦＳＭ来扩展描述协议安全属性，并在攻击场景分类的基础上设计了认证攻击算法．通过攻 击算法找到了Ｗｏｏｌａｍ协议和 ＴＥＳＬＡ协议的认证性漏洞，该方法具有可行性、覆盖率高等特点． μ 关键词： 协议测试；安全属性；认证性测试；形式化模型；攻击分类 中图分类号： ＴＰ３０９ 文献标识码： Ａ 文章编号：（２０１６ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ２０１６．１１．０３１ ＡｕｔｈｅｎｔｉｃａｔｉｏｎＴｅｓｔｉｎｇｏｆＳｅｃｕｒｉｔｙＰｒｏｔｏｃｏｌｓ Ａ ＭｅｔｈｏｄｆｏｒＴｅｓｔｉｎｇＰｒｏｔｏｃｏｌＳｅｃｕｒｉｔｙＰｒｏｐｅｒｔｉｅｓ １，２ １ １ １ ＨＥＹｕｎｈｕａ ，ＹＡＮＧＣｈａｏ ，ＺＨＡＮＧＪｕｎｗｅｉ ，ＭＡＪｉａｎｆｅｎｇ （１．ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＣｏｍｐｕｔｅｒＮｅｔｗｏｒｋａｎｄＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙｏｆＭｉｎｉｓｔｒｙｏｆＥｄｕｃａｔｉｏｎ，ＸｉｄｉａｎＵｎｉｖｅｒｓｉｔｙ，Ｘｉ’ａｎ，Ｓｈａａｎｘｉ ７１００７１，Ｃｈｉｎａ； ２．ＤｅｐａｒｔｍｅｎｔｏｆＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙ，ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＮｏｒｔｈＣｈｉｎａＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｂｅｉｊｉｎｇ １０００２９，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ： Ａｕｔｈｅｎｔｉｃａｔｉｏｎｂｕｉｌｄｓｔｈｅｔｒｕｓｔｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｃｏｍｍｕｎｉｃａｔｉｏｎｐａｒｔｉｅｓ，ｗｈｉｃｈｉｓａｍａｇｎｉｔｕｄｅｇｕａｒａｎｔｅｅ ｆｏｒｓｅｃｕｒｅｃｏｍｍｕｎｉｃａｔｉｏｎｓ．Ｈｏｗｅｖｅｒ，ｅｘｉｓｔｉｎｇ ｐｒｏｔｏｃｏｌｔｅｓｔｉｎｇ ｔｅｃｈｎｉｑｕｅｓｆｏｃｕｓｏｎｖａｌｉｄａｔｉｎｇ ｔｈｅｐｒｏｔｏｃｏｌ ｓｐｅｃｉｆｉｃａｔｉｏｎ． Ｔｈｏｓｅｔｅｃｈｎｉｑｕｅｓｃａｎｎｏｔｓａｔｉｓｆｙｔｈｅｒｅｑｕｉｒｅｍｅｎｔｓｏｆｔｅｓｔｉｎｇｐｒｏｔｏｃｏｌａｕｔｈｅｎｔｉｃａｔｉｏｎａｓｔｈｅｉｒｌａｃｋｏｆｔｈｅｍｅｔｈｏｄｆｏｒｄｅｓｃｒｉｂｉｎｇ ｓｅｃｕｒｉｔｙｐｒｏｐｅｒｔｉｅｓ．Ｔｈｅｒｅｆｏｒｅ，ａｐｒｏｔｏｃｏｌｓｅｃｕｒｉｔｙｐｒｏｐｅｒｔｙｔｅｓｔｉｎｇｍｅｔｈｏｄｉｓｐｒｏｐｏｓｅｄｆｏｒｔｅｓｔｉｎｇｐｒｏｔｏｃｏｌａｕｔｈｅｎｔｉｃａｔｉｏｎ．Ｔｈｉｓ ｔｅｓｔｉｎｇｍｅｔｈｏｄｕｓｅｓａｎｅｗｆｏｒｍａ