专利查询
首页
专利评估
登录
注册
当前位置:
首页
>
专利查询
>
西门子公司
>
一种对协议实现进行安全测试的方法及装置制造方法及图纸
>技术资料下载
下载一种对协议实现进行安全测试的方法及装置的技术资料
文档序号:8565086
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。
本发明提供了一种对协议实现进行安全测试的方法及装置。方法包括:将协议规范映射为第一协议状态模型;向第一协议状态模型引入非法状态形成第二协议状态模型;利用断言来表征第一协议状态模型/第二协议状态模型的测试目标,利用文法约束来表征此模型合法输入...
该专利属于西门子公司所有,仅供学习研究参考,未经过西门子公司授权不得商用。
详细技术文档下载地址
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。