Inferences on honesty in compositional logic for protocol analysis

Koji Hasebe, Mitsuhiro Okada

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

We present an explicit treatment of assumptions on a principal's honesty in compositional logic. Our central idea is to divide an honest principal's role into its components, and these components are composed during the proving steps of a property useful to prove a protocol correctness. We distinguish the monotonie properties and the non-monotonic ones, and give a core inference system for the monotonie properties, which can be extended for non-monotonic ones.

Original languageEnglish
Pages (from-to)65-86
Number of pages22
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3233
Publication statusPublished - 2004

Fingerprint

Logic
Divides
Correctness

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

@article{5ba06e0c2643467fbe7ecd88b26e088d,
title = "Inferences on honesty in compositional logic for protocol analysis",
abstract = "We present an explicit treatment of assumptions on a principal's honesty in compositional logic. Our central idea is to divide an honest principal's role into its components, and these components are composed during the proving steps of a property useful to prove a protocol correctness. We distinguish the monotonie properties and the non-monotonic ones, and give a core inference system for the monotonie properties, which can be extended for non-monotonic ones.",
author = "Koji Hasebe and Mitsuhiro Okada",
year = "2004",
language = "English",
volume = "3233",
pages = "65--86",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Inferences on honesty in compositional logic for protocol analysis

AU - Hasebe, Koji

AU - Okada, Mitsuhiro

PY - 2004

Y1 - 2004

N2 - We present an explicit treatment of assumptions on a principal's honesty in compositional logic. Our central idea is to divide an honest principal's role into its components, and these components are composed during the proving steps of a property useful to prove a protocol correctness. We distinguish the monotonie properties and the non-monotonic ones, and give a core inference system for the monotonie properties, which can be extended for non-monotonic ones.

AB - We present an explicit treatment of assumptions on a principal's honesty in compositional logic. Our central idea is to divide an honest principal's role into its components, and these components are composed during the proving steps of a property useful to prove a protocol correctness. We distinguish the monotonie properties and the non-monotonic ones, and give a core inference system for the monotonie properties, which can be extended for non-monotonic ones.

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

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

M3 - Article

AN - SCOPUS:30844436780

VL - 3233

SP - 65

EP - 86

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -