Automation-considered logic of authentication and key distribution

Taekyoung Kwon, Seongan Lim

Research output: Contribution to journalArticle

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
Pages (from-to)442-457
Number of pages16
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2908
Publication statusPublished - 2004 Dec 1

Fingerprint

Key Distribution
Authentication
Automation
Logic
Network protocols
Formal Verification
Semantics
Experimental Study
Reasoning
Minimise

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

@article{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",
month = "12",
day = "1",
language = "English",
volume = "2908",
pages = "442--457",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Automation-considered logic of authentication and key distribution

AU - Kwon, Taekyoung

AU - Lim, Seongan

PY - 2004/12/1

Y1 - 2004/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=35048835799&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=35048835799&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:35048835799

VL - 2908

SP - 442

EP - 457

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -