A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming

DOI10.1007/978-3-642-04238-6_30zbMath1257.94027OpenAlexW1581922034MaRDI QIDQ3643130

Torsten Grote, James P. Delgrande, Aaron Hunter

Publication date: 10 November 2009

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Cryptography (94A60) Logic programming (68N17)

Uses Software

• Gringo
• clasp

This page was built for publication: A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming