Inferences on honesty in compositional logic for protocol analysis

Koji Hasebe, Mitsuhiro Okada

Research output: Contribution to journalArticle

1 Citation (Scopus)


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)
Publication statusPublished - 2004 Dec 1


ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this