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.
|Number of pages||22|
|Journal||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Publication status||Published - 2004 Dec 1|
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)