Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. Security Protocols Verification in Abductive Logic Programming: A Case Study. In Oguz Dikenelli, Marie Pierre Gleizes, Alessandro Ricci, editors, Engineering Societies in the Agents World VI, 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers. Volume 3963 of Lecture Notes in Computer Science, pages 106-124, Springer, 2005. [doi]
Abstract is missing.