Formal Analysis of Cryptographic Protocols

Encyclopedia of Cryptography and Security ◽

10.1007/978-1-4419-5906-5_876 ◽

2011 ◽

pp. 490-492 ◽

Cited By ~ 1

Author(s):

Catherine Meadows

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols

Download Full-text

A Supporting Environment for Formal Analysis of Cryptographic Protocols

Lecture Notes in Electrical Engineering - Advanced Multimedia and Ubiquitous Engineering ◽

10.1007/978-981-10-5041-1_87 ◽

2017 ◽

pp. 545-550

Author(s):

Jingchen Yan ◽

Kazunori Wagatsuma ◽

Hongbiao Gao ◽

Jingde Cheng

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols

Download Full-text

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols

Lecture Notes in Computer Science - Advances in Computer Science – ASIAN 2007. Computer and Network Security ◽

10.1007/978-3-540-76929-3_15 ◽

2007 ◽

pp. 150-165 ◽

Cited By ~ 7

Author(s):

Han Gao ◽

Chiara Bodei ◽

Pierpaolo Degano ◽

Hanne Riis Nielson

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols ◽

Replay Attacks

Download Full-text

A Formal Analysis Method with Reasoning for Cryptographic Protocols

2016 12th International Conference on Computational Intelligence and Security (CIS) ◽

10.1109/cis.2016.0138 ◽

2016 ◽

Cited By ~ 6

Author(s):

Jingchen Yan ◽

Kazunori Wagatsuma ◽

Hongbiao Gao ◽

Jingde Cheng

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols ◽

Analysis Method

Download Full-text

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols

2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) ◽

10.1109/depcos-relcomex.2007.24 ◽

2007 ◽

Author(s):

M. Cheminod ◽

I. Cibrario Bertolotti ◽

L. Durante ◽

R. Sisto ◽

A. Valenzano

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols ◽

Experimental Comparison

Download Full-text

Formal Analysis for Cryptographic Protocols on a Trace Semantics

2009 International Conference on Future Networks ◽

10.1109/icfn.2009.32 ◽

2009 ◽

Author(s):

Jun Jiang ◽

HuaPing Gong

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols ◽

Trace Semantics

Download Full-text

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning

2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) ◽

10.1109/smartworld.2018.00071 ◽

2018 ◽

Cited By ~ 2

Author(s):

Jingchen Yan ◽

Sho Ishibashi ◽

Yuichi Goto ◽

Jingde Cheng

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols ◽

Analysis Method ◽

Fine Grained ◽

Security Properties

Download Full-text