𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new protocol for multi-item electronic auctions

✍ Scribed by Huang Genxun; Zhou Ran; Wei Fushan; Yu Gang

Book ID
105626033
Publisher
Wuhan University
Year
2006
Tongue
English
Weight
289 KB
Volume
11
Category
Article
ISSN
1007-1202

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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