A new logic for electronic commerce protocols

A new logic for electronic commerce protocols,10.1016/S0304-3975(02)00364-X,Theoretical Computer Science,Kamel Adi,Mourad Debbabi,Mohamed Mejri

A new logic for electronic commerce protocols   (Citations: 29)
BibTex | RIS | RefWorks Download
The primary objective of this paper is to present the definition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It allows the specification of classical security properties (authentication, secrecy and integrity) and also electronic commerce properties (non-repudiation, anonymity, good atomicity, money atomicity, certified delivery, etc.). The logic constructs are interpreted over a trace-based model. Traces reflect valid protocol executions in the presence of a malicious smart intruder. The logic is endowed with a tableau-based proof system that leads to a modular denotational semantics and local model checking.
Journal: Theoretical Computer Science - TCS , vol. 291, no. 3, pp. 223-283, 2003
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: