摘要
作为安全保护技术的底层设计,协议对于网络及信息系统数据存储和传输起到了不可或缺的保护作用。文章在研究协议实现的安全测试的基础上,针对协议模型的形式化、测试序列的生成以及测试用例的描述等关键步骤进行了研究,对现有的测试用例生成方法进行分析,为研究新的测试用例生成方法提供借鉴。
As the underlying design safety protection technology, security protocol plays an indispensable role in protecting the network and information system data storage and transmission. Based on the security test of protocol implementation, this paper discusses some key steps, such as the formalization of protocol model, lhe generation of the lest sequence and the description of test case, then analyzes the method of test case generalion, tiros to provide reference for the new method
出处
《信息安全与通信保密》
2014年第1期64-67,共4页
Information Security and Communications Privacy
关键词
协议实现
安全测试
测试用例
prolocol implementation
security lest
lest of generating lest cases case
