A logical verification method for security protocols based on linear logic and BAN logic

DOI10.1007/3-540-36532-X_24MaRDI QIDQ4418591zbMATH OpenFDO

Authors Koji Hasebe, Mitsuhiro Okada

Publication date 11 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090417.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Data encryption (aspects in computer science) (68P25)

Recommendations

• Security protocols: from linear to classical logic by abstract interpretation
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• On a limitation of BAN logic
• Model checking security protocols using a logic of belief
• Completeness and counter-example generations of a basic protocol logic (extended abstract)

Cited in

(1)

• Security protocols: from linear to classical logic by abstract interpretation

This page was built for publication: A logical verification method for security protocols based on linear logic and BAN logic

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