Rewriting-based verification of authentication protocols

MaRDI QIDQ2851055zbMATH OpenFDO

Authors Kazuhiro Ogata, Kokichi Futatsugi

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105825368

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• A rewriting strategy for protocol verification
• scientific article; zbMATH DE number 1614701
• Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting
• scientific article; zbMATH DE number 5141412
• scientific article; zbMATH DE number 2090061

Cites work

• A hidden agenda
• An attack on the Needham-Schroeder public-key authentication protocol
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 1860625 (Why is no real title available?)
• On the security of public key protocols
• Refutational theorem proving using term-rewriting systems
• Using encryption for authentication in large networks of computers
• Web-based support for cooperative software engineering

Cited in

(9)

• An approach for formal verification of authentication protocols
• On the relationships between models in protocol verification
• scientific article; zbMATH DE number 1614701 (Why is no real title available?)
• A rewriting strategy for protocol verification
• Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting
• scientific article; zbMATH DE number 1962755 (Why is no real title available?)
• scientific article; zbMATH DE number 2090061 (Why is no real title available?)
• Verification and modelling of authentication protocols
• CHAP and rewrite components

Describes a project that uses

Uses Software

• CafeOBJ
• Kumo
• UNITY

This page was built for publication: Rewriting-based verification of authentication protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851055)