𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Practical protocols for certified electronic mail

✍ Scribed by Robert H. Deng; Li Gong; Aurel A. Lazar; Weiguo Wang

Book ID
105473626
Publisher
Springer US
Year
1996
Tongue
English
Weight
893 KB
Volume
4
Category
Article
ISSN
1064-7570

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Certified electronic mail: Properties re
Certified electronic mail: Properties revisited
✍ Josep Lluis Ferrer-Gomilla; Jose A. Onieva; Magdalena Payeras; Javier Lopez πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 264 KB
A new logic for electronic commerce prot
A new logic for electronic commerce protocols
✍ Kamel Adi; Mourad Debbabi; Mohamed Mejri πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 415 KB

The primary objective of this paper is to present the deΓΏnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It allows the speciΓΏcation of classical security properties (authentication, secrecy and integrity) and also electronic commer