Inferences on honesty in compositional logic for protocol analysis

Koji Hasebe, Mitsuhiro Okada

Research output: Chapter in Book/Report/Conference proceedingChapter

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
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsKokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki
PublisherSpringer Verlag
Pages65-86
Number of pages22
ISBN (Print)354023635X
DOIs
Publication statusPublished - 2004

Publication series

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Inferences on honesty in compositional logic for protocol analysis'. Together they form a unique fingerprint.

  • Cite this

    Hasebe, K., & Okada, M. (2004). Inferences on honesty in compositional logic for protocol analysis. In K. Futatsugi, F. Mizoguchi, & N. Yonezaki (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 65-86). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3233). Springer Verlag. https://doi.org/10.1007/978-3-540-37621-7_4