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
A flaw in the electronic commerce protocol SET
β Scribed by S. Brlek; S. Hamadou; J. Mullins
- Book ID
- 108153436
- Publisher
- Elsevier Science
- Year
- 2006
- Tongue
- English
- Weight
- 65 KB
- Volume
- 97
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
This protocol analysis examines the content of virtual experience in e-commerce, as concurrently verbalized by a sample of 30 participants while interacting with four 3-D products. Thirteen different types of psychological activities were observed and classified into five characteristics of virtual
We found that the 2KP/3KP electronic payment protocols as well as the 1KP electronic payment protocol do not possess a probably important property. The property is that if an acquirer authorizes a payment, then both the buyer and seller concerned always agree on it, which is called agreement propert