41 search results - page 4 / 9 » A New Logic for Electronic Commerce Protocols |
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
ASIACRYPT
2003
Springer
13 years 11 months ago
2003
Springer
A fair network payment protocol plays an important role in electronic commerce. The fairness concept in payments can be illustrated as that two parties (e.g. customers and merchant...
SAC
2000
ACM
13 years 12 months ago
2000
ACM
Many Web areas are in an early technological period of rapid evolution and intense competitive selection. Nowhere is this truer than with electronic commerce. While much is being ...
ACMICEC
2008
ACM
13 years 9 months ago
2008
ACM
Electronic Payments have gained tremendous popularity in the modern world. Credit/debit cards and online payments are in widespread use. Bringing electronic payments to the mobile...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...