@inbook{be86de3aa3124ca08bab7e4436e9bed1,
title = "Automation-considered logic of authentication and key distribution",
abstract = "This paper presents an automation-considered logic of authentication for reasoning about principals' belief on authentication and key distribution protocols. The so-called ASVO logic is based upon the famous SVO logic but designed in the slightly different way that minimizes the protocol idealization needs. For the purpose, message receiving and message recognition are reformulated in the similar semantic model. As an experimental study, we implemented the proposed logic to a semi-automated formal verification tool, and analyzed several protocols.",
author = "Taekyoung Kwon and Seongan Lim",
year = "2004",
doi = "10.1007/978-3-540-24591-9_33",
language = "English",
isbn = "3540208275",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "442--457",
editor = "Kijoon Chae and Moti Yung",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}