Inferences on honesty in compositional logic for protocol analysis

Koji Hasebe, Mitsuhiro Okada

研究成果: Chapter

1 被引用数 (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.

本文言語English
ホスト出版物のタイトルLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
編集者Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki
出版社Springer Verlag
ページ65-86
ページ数22
ISBN(印刷版)354023635X
DOI
出版ステータスPublished - 2004

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
3233
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Inferences on honesty in compositional logic for protocol analysis」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル