SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming

DOI10.1007/978-3-642-01440-6_12MaRDI QIDQ3624272zbMATH OpenOpenAlexFDO

Authors Mengjun Li, Ti Zhou, Zhoujun Li

Publication date 29 April 2009

Published in Information Security and Cryptology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-01440-6_12

zbMATH Keywords

verificationlogic programmingsecurity protocolnon-termination characterizationnon-termination prediction algorithm

Mathematics Subject Classification ID

Cryptography (94A60) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)

Recommendations

• SPVT: an efficient verification tool for security protocols
• scientific article; zbMATH DE number 1926618
• Verifying security protocols as planning in logic programming
• Model Checking Software
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif

Cited in

(2)

• SPVT-II
• SPVT: an efficient verification tool for security protocols

This page was built for publication: SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming

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