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

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 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

Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol

2012 International Conference on Machine Learning and Cybernetics ◽

10.1109/icmlc.2012.6359660 ◽

2012 ◽

Cited By ~ 2

Author(s):

Kazunori Wagatsuma ◽

Yuichi Goto ◽

Jingde Cheng

Keyword(s):

Formal Analysis ◽

Relevant Logic ◽

Cryptographic Protocols ◽

Shared Key

Download Full-text

Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude

2007 IEEE International Parallel and Distributed Processing Symposium ◽

10.1109/ipdps.2007.370355 ◽

2007 ◽

Author(s):

Peter Csaba Olveczky ◽

Martin Grimeland

Keyword(s):

Real Time ◽

Formal Analysis ◽

Cryptographic Protocols ◽

Time Dependent

Download Full-text

Computational Rationality of Formal Analysis on Cryptographic Protocols

2012 Fourth International Conference on Computational and Information Sciences ◽

10.1109/iccis.2012.111 ◽

2012 ◽

Cited By ~ 1

Author(s):

Simin Liu ◽

Junyao Ye

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols

Download Full-text

Logic-Based Formal Analysis of Cryptographic Protocols

2006 14th IEEE International Conference on Networks ◽

10.1109/icon.2006.302644 ◽

2006 ◽

Cited By ~ 1

Author(s):

Shahabuddin Muhammad ◽

Zeeshan Furqan ◽

Ratan Guha

Keyword(s):

Formal Analysis ◽

Cryptographic Protocols

Download Full-text