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.
|ホスト出版物のタイトル||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|編集者||Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki|
|出版ステータス||Published - 2004|
|名前||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)