The AVISS security protocol analysis tool

DOI10.1007/3-540-45657-0_27MaRDI QIDQ4804908zbMATH OpenFDO

Authors Alessandro Armando, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron, David Basin

Publication date 1 May 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/2404/24040349.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Computer Aided Verification
• The CL-Atse Protocol Analyser
• scientific article; zbMATH DE number 2111736
• AGVI -- automatic generation, verification, and implementation of security protocols
• Extending security protocol analysis: new challenges

Cited in

(6)

• The CL-Atse Protocol Analyser
• Comparing State Spaces in Automatic Security Protocol Analysis
• AGVI -- automatic generation, verification, and implementation of security protocols
• Bounding messages for free in security protocols -- extension to various security properties
• Computer Aided Verification
• On the semantics of Alice \& Bob specifications of security protocols

Describes a project that uses

Uses Software

• Casper
• Chaff

This page was built for publication: The AVISS security protocol analysis tool

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