CN105049283B - 安全交换协议模型检测方法 - Google Patents
安全交换协议模型检测方法 Download PDFInfo
- Publication number
- CN105049283B CN105049283B CN201510395404.XA CN201510395404A CN105049283B CN 105049283 B CN105049283 B CN 105049283B CN 201510395404 A CN201510395404 A CN 201510395404A CN 105049283 B CN105049283 B CN 105049283B
- Authority
- CN
- China
- Prior art keywords
- model
- secure exchange
- agreement
- protocol
- fairness
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
Description
Claims (2)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510395404.XA CN105049283B (zh) | 2015-07-07 | 2015-07-07 | 安全交换协议模型检测方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510395404.XA CN105049283B (zh) | 2015-07-07 | 2015-07-07 | 安全交换协议模型检测方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105049283A CN105049283A (zh) | 2015-11-11 |
CN105049283B true CN105049283B (zh) | 2018-08-03 |
Family
ID=54455504
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510395404.XA Expired - Fee Related CN105049283B (zh) | 2015-07-07 | 2015-07-07 | 安全交换协议模型检测方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105049283B (zh) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110099094B (zh) * | 2019-01-31 | 2022-10-25 | 全球能源互联网研究院有限公司 | 考虑资源约束的电力物联网信息交互过程分析方法及系统 |
CN111885039A (zh) * | 2020-07-17 | 2020-11-03 | 华东师范大学 | 一种基于IPv6下的安全协议的形式化验证方法 |
CN112152795B (zh) * | 2020-08-11 | 2023-02-03 | 中国人民解放军战略支援部队信息工程大学 | 基于状态机一致性检测的安全协议代码脆弱性挖掘方法 |
CN112511554B (zh) * | 2020-12-15 | 2021-12-17 | 中国电子科技集团公司第三十研究所 | 一种网络安全协议的符号建模系统 |
CN113726821B (zh) * | 2021-11-02 | 2022-02-22 | 华东交通大学 | 一种用于安全协议形式化的验证方法及系统 |
CN114297063B (zh) * | 2021-12-28 | 2022-09-30 | 中国科学技术大学 | 针对源代码的自动化形式化建模与验证的方法与系统 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103259788A (zh) * | 2013-04-27 | 2013-08-21 | 天津大学 | 针对安全协议的形式化建模及验证方法 |
CN104104587A (zh) * | 2014-04-18 | 2014-10-15 | 天津大学 | 一种认证邮件协议的后一致性分析方法 |
-
2015
- 2015-07-07 CN CN201510395404.XA patent/CN105049283B/zh not_active Expired - Fee Related
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103259788A (zh) * | 2013-04-27 | 2013-08-21 | 天津大学 | 针对安全协议的形式化建模及验证方法 |
CN104104587A (zh) * | 2014-04-18 | 2014-10-15 | 天津大学 | 一种认证邮件协议的后一致性分析方法 |
Non-Patent Citations (2)
Title |
---|
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol;Xiaoru Li et al;《Journal of Applied Mathematics》;20140618;全文 * |
公平非否认协议分析方法的研究;邓子宽;《中国优秀硕士论文全文数据库》;20101231;全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN105049283A (zh) | 2015-11-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105049283B (zh) | 安全交换协议模型检测方法 | |
Leng et al. | Blockchain security: A survey of techniques and research directions | |
Datta et al. | Protocol composition logic (PCL) | |
Hsiao et al. | Employing blockchain technology to strengthen security of wireless sensor networks | |
Deebak et al. | TAB-SAPP: A trust-aware blockchain-based seamless authentication for massive IoT-enabled industrial applications | |
Khalil et al. | A literature review on blockchain-enabled security and operation of cyber-physical systems | |
Liang et al. | Secure fusion approach for the internet of things in smart autonomous multi-robot systems | |
Malik et al. | A comprehensive review of blockchain applications in industrial Internet of Things and supply chain systems | |
Duan et al. | Application of blockchain for internet of things: a bibliometric analysis | |
Datta et al. | Abstraction and refinement in protocol derivation | |
Das et al. | Security, trust, and privacy management framework in cyber-physical systems using blockchain | |
Du et al. | Security analysis and improvement of vehicle ethernet some/ip protocol | |
Chen et al. | Digital twins to fight against COVID-19 pandemic | |
Chevalier et al. | Compiling and securing cryptographic protocols | |
Muhammad et al. | An efficient scheme for industrial internet of things using certificateless signature | |
Yang et al. | Method of Interaction between Blockchain and the World outside the Chain based on Oracle Machine | |
Bellomarini et al. | Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges. | |
Shin et al. | A telebiometric system mechanism model and biometric network protocol for the security of networked manufacturing | |
Wang et al. | A privacy-preserving data feed scheme for smart contracts | |
Bi et al. | A secure and efficient two-party protocol enabling ownership transfer of RFID objects | |
Geng et al. | Blockchain-inspired Framework for Runtime Verification of IoT Ecosystem Task Fulfillment | |
Silpa et al. | Multimedia Data Transmission with Secure Routing in M-IOT-based Data Transmission using Deep Learning Architecture | |
Linjing et al. | Blockchain application of iot for water industry and its security | |
Liu et al. | Formal method for security analysis of electronic payment protocols | |
CN114567440B (zh) | 一种面向电力物联网边缘侧的主客体模型隐私保护方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
CB03 | Change of inventor or designer information | ||
CB03 | Change of inventor or designer information |
Inventor after: Li Xiaohong Inventor after: Xu Jiayi Inventor after: Xu Guangquan Inventor after: Hu Jing Inventor after: Zhang Lei Inventor after: Li Xiaoru Inventor before: Li Xiaohong Inventor before: Xu Jiayi Inventor before: Xu Guangquan Inventor before: Xu Guangquan Inventor before: Hu Jing Inventor before: Zhang Lei Inventor before: Li Xiaoru |
|
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20180803 Termination date: 20210707 |