通信协议可信性验证方法
授权
摘要
本发明公开了一种通信协议可信性验证方法，包括：通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；通过形式化验证工具对所述形式化语言描述的需求规范进行验证，得到验证数据集；根据所述验证数据集，进行规范检测。通过上述方法，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。
基本信息
专利标题 ：
通信协议可信性验证方法
专利标题（英）：
暂无
公开（公告）号 ：
CN111224985A
申请号 ：
CN202010011586.7
公开（公告）日 ：
2020-06-02
申请日 ：
2020-01-06
授权号 ：
CN111224985B
授权日 ：
2022-06-03
发明人 ：
史建琦黄滟鸿张继任建鹏于会新杨洋张鹏
申请人 ：
上海丰蕾信息科技有限公司
申请人地址 ：
上海市普陀区云岭西路600弄6号801室
代理机构 ：
北京辰权知识产权代理有限公司
代理人 ：
付婧
优先权 ：
CN202010011586.7
主分类号 ：
H04L29/06
IPC分类号 ：
H04L29/06
相关图片
法律状态
2022-06-03 ：
授权
2020-06-26 ：
实质审查的生效
IPC(主分类) : H04L 29/06
申请日 : 20200106
申请日 : 20200106
2020-06-02 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
1、
CN111224985A.PDF
PDF下载
