Automation-considered logic of authentication and key distribution

Taekyoung Kwon, Seongan Lim

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsKijoon Chae, Moti Yung
PublisherSpringer Verlag
Pages442-457
Number of pages16
ISBN (Print)3540208275
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2908
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Automation-considered logic of authentication and key distribution'. Together they form a unique fingerprint.

  • Cite this

    Kwon, T., & Lim, S. (2004). Automation-considered logic of authentication and key distribution. In K. Chae, & M. Yung (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 442-457). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2908). Springer Verlag. https://doi.org/10.1007/978-3-540-24591-9_33