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

DOI10.1007/978-3-642-01440-6_12zbMath1237.68029OpenAlexW2158485170MaRDI QIDQ3624272

Mengjun Li, Ti Zhou, Zhou-Jun 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) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items

SPVT-II