AGVI -- automatic generation, verification, and implementation of security protocols

DOI10.1007/3-540-44585-4_21MaRDI QIDQ4551154zbMATH OpenFDO

Authors Adrian Perrig, Doantam Phan, Dawn Song

Publication date 4 September 2002

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/2102/21020241

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 AVISS security protocol analysis tool
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif
• SPVT: an efficient verification tool for security protocols
• Model Checking Software

Cited in

(4)

• AGVI
• Formally sound implementations of security protocols with JavaSPI
• The AVISS security protocol analysis tool
• Computer Aided Verification

This page was built for publication: AGVI -- automatic generation, verification, and implementation of security protocols

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