一种基于模型检测的安全协议形式化验证方法

被引：0

专利类型：

发明

申请号：

CN201810798875.9

申请日：

2018-07-19

公开(公告)号：

CN109150833A

公开(公告)日：

2019-01-04

发明(设计)人：

肖美华杨科王西忠谌佳宋佳雯钟小妹

申请人：

申请人地址：

330013 江西省南昌市郊区双港路

IPC主分类号：

H04L2906

IPC分类号：

H04L1224

代理机构：

北京清亦华知识产权代理事务所(普通合伙) 11201

代理人：

何世磊

法律状态：

发明专利申请公布后的驳回

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2021-07-16	发明专利申请公布后的驳回	发明专利申请公布后的驳回 IPC(主分类):H04L 29/06 申请公布日:20190104
2019-01-29	实质审查的生效	实质审查的生效 IPC(主分类):H04L 29/06 申请日:20180719
2019-01-04	公开	公开

共 50 条

[1]

一种安全协议形式化验证方法 [P].

薛锐 ;

彭建华 ;

刘峰 .

中国专利 :CN102065083B ,2011-05-18

[2]

一种网络安全协议的自动形式化验证方法 [P].

黄文超 ;

熊焰 ;

汪万森 ;

孟昭逸 ;

苏诚 ;

熊峰 ;

方贤进 .

中国专利 :CN115460297A ,2022-12-09

[3]

基于扩展UML的轻量级安全协议形式化验证方法 [P].

李晓红 ;

方坤丁 ;

沈岗 ;

胡静 ;

谢肖飞 ;

张程伟 .

中国专利 :CN105049420A ,2015-11-11

[4]

面向无线传感网安全协议设计与实现的形式化验证方法 [P].

陈铁明 ;

江颉 ;

陈波 ;

王小号 .

中国专利 :CN104135397A ,2014-11-05

[5]

形式化验证方法 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

中国专利 :CN111427565B ,2020-07-17

[6]

基于模型检测的区块链众筹合约形式化验证方法 [P].

夏琦 ;

刘佳琴 ;

段立新 ;

张彦如 ;

高建彬 ;

夏虎 ;

马可芝 .

中国专利 :CN117436091A ,2024-01-23

[7]

基于模型检测的区块链众筹合约形式化验证方法 [P].

夏琦 ;

刘佳琴 ;

段立新 ;

张彦如 ;

高建彬 ;

夏虎 ;

马可芝 .

中国专利 :CN117436091B ,2024-04-12

[8]

一种网络协议组合形式化验证方法 [P].

张京京 ;

张龙 ;

马琳茹 ;

黄志坚 ;

熊欢 ;

张建宇 .

中国专利 :CN118802337A ,2024-10-18

[9]

一种网络协议组合形式化验证方法 [P].

张京京 ;

张龙 ;

马琳茹 ;

黄志坚 ;

熊欢 ;

张建宇 .

中国专利 :CN118802337B ,2025-10-28

[10]

一种对安全互联协议进行形式化验证的方法和系统 [P].

杨林 ;

赵永望 ;

张龙 ;

马琳茹 .

中国专利 :CN114500347B ,2022-05-13

← 1 2 3 4 5 →