Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_2 ◽

2000 ◽

pp. 2-2

Author(s):

Catherine Meadows

Keyword(s):

Formal Methods ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis

Download Full-text

Open issues in formal methods for cryptographic protocol analysis

Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00 ◽

10.1109/discex.2000.824984 ◽

2002 ◽

Cited By ~ 1

Author(s):

C. Meadows

Keyword(s):

Formal Methods ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis ◽

Open Issues

Download Full-text

Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later

Lecture Notes in Computer Science - Logic, Rewriting, and Concurrency ◽

10.1007/978-3-319-23165-5_22 ◽

2015 ◽

pp. 475-492 ◽

Cited By ~ 5

Author(s):

Catherine Meadows

Keyword(s):

Formal Methods ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Emerging Issues ◽

Cryptographic Protocol Analysis

Download Full-text

Open Issues in Formal Methods for Cryptographic Protocol Analysis

10.21236/ada385327 ◽

2001 ◽

Cited By ~ 7

Author(s):

Catherine Meadows

Keyword(s):

Formal Methods ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis ◽

Open Issues

Download Full-text

Formal Methods for Cryptographic Protocol Analysis: Emerging Issues and Trends

10.21236/ada465281 ◽

2003 ◽

Cited By ~ 2

Author(s):

Catherine Meadows

Keyword(s):

Formal Methods ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Emerging Issues ◽

Cryptographic Protocol Analysis

Download Full-text

Formal methods for cryptographic protocol analysis: emerging issues and trends

IEEE Journal on Selected Areas in Communications ◽

10.1109/jsac.2002.806125 ◽

2003 ◽

Vol 21 (1) ◽

pp. 44-54 ◽

Cited By ~ 102

Author(s):

C. Meadows

Keyword(s):

Formal Methods ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Emerging Issues ◽

Cryptographic Protocol Analysis

Download Full-text

Open Issues in Formal Methods for Cryptographic Protocol Analysis

Information Assurance in Computer Networks - Lecture Notes in Computer Science ◽

10.1007/3-540-45116-1_3 ◽

2001 ◽

pp. 21-21 ◽

Cited By ~ 5

Author(s):

Catherine Meadows

Keyword(s):

Formal Methods ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis ◽

Open Issues

Download Full-text

Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives

10.21236/ada464085 ◽

2000 ◽

Cited By ~ 13

Author(s):

Catherine Meadows

Keyword(s):

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Primitives ◽

Analysis Techniques ◽

Low Level ◽

Cryptographic Protocol Analysis

Download Full-text

Cryptographic protocol analysis using goal extraction

International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. ◽

10.1109/itcc.2004.1286429 ◽

2004 ◽

Author(s):

J. Edmonds ◽

M. Papa

Keyword(s):

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis

Download Full-text

Cryptographic Protocol Analysis of AN.ON

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14577-3_11 ◽

2010 ◽

pp. 114-128 ◽

Cited By ~ 5

Author(s):

Benedikt Westermann ◽

Rolf Wendolsky ◽

Lexi Pimenidis ◽

Dogan Kesdogan

Keyword(s):

Protocol Analysis ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis

Download Full-text

A Simple Language for Real-Time Cryptographic Protocol Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_9 ◽

2003 ◽

pp. 114-128 ◽

Cited By ~ 19

Author(s):

Roberto Gorrieri ◽

Enrico Locatelli ◽

Fabio Martinelli

Keyword(s):

Real Time ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Simple Language ◽

Cryptographic Protocol Analysis

Download Full-text