-
1
-
-
84944035753
-
Formal verification of cardholder registration in SET
-
Springer LNCS 1895, Toulouse, France, October
-
thEurop. Symp. on Research in Comp. Security (ESORICSOO) Springer LNCS 1895, Toulouse, France, October 2000, pp. 159-174.
-
(2000)
thEurop. Symp. on Research in Comp. Security (ESORICSOO)
, pp. 159-174
-
-
Bella, G.1
Massacci, F.2
Paulson, L.3
Tramontane, P.4
-
2
-
-
0038011251
-
The verification of an industrial payment protocol: The SET purchase phase
-
ACM Press, Washington, DC, USA, November
-
th ACM Conf. on Comp. and Comm. Security, ACM Press, Washington, DC, USA, November 2002, pp. 12-20.
-
(2002)
th ACM Conf. on Comp. and Comm. Security
, pp. 12-20
-
-
Bella, G.1
Massacci, F.2
Paulson, L.3
-
3
-
-
0030716978
-
Towards the formal verification of electronic commerce protocols
-
Rockport, MA, USA, June
-
th Comp. Sec. Foundations Workshop (CSFW '97), Rockport, MA, USA, June 1997, pp. 133-146.
-
(1997)
th Comp. Sec. Foundations Workshop (CSFW '97)
, pp. 133-146
-
-
Bolignano, D.1
-
6
-
-
35248888130
-
Security analysis of (Un-)fair non-repudiation protocols
-
Springer LNCS 2629, London, UK, December
-
S. Gürgens and C. Rudolph, "Security Analysis of (Un-)Fair Non-repudiation Protocols," in Proc. of Formal Aspects of Security (FASec '02) Springer LNCS 2629, 2003, London, UK, December 2002, pp. 97-114.
-
(2002)
Proc. of Formal Aspects of Security (FASec '02)
, pp. 97-114
-
-
Gürgens, S.1
Rudolph, C.2
-
7
-
-
84958771467
-
A sound logic for analyzing electronic commerce protocol
-
Springer LNCS 1485, Louvain-la-Neuve, Belgium, September
-
th Europ. Symp. on Res. in Comp. Sec. (ESORICS98), Springer LNCS 1485, Louvain-la-Neuve, Belgium, September 1998, pp. 345-360.
-
(1998)
th Europ. Symp. on Res. in Comp. Sec. (ESORICS98)
, pp. 345-360
-
-
Kessler, K.1
Neumann, H.2
-
8
-
-
0003130993
-
Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR
-
Springer LNCS 1055, Passau, Germany, March
-
nd Inter. Conf. on Tools and Algo. for the Constr. and Analy. of Syst., TACAS '96, Springer LNCS 1055, Passau, Germany, March 1996, pp. 147-166.
-
(1996)
nd Inter. Conf. on Tools and Algo. for the Constr. and Analy. of Syst., TACAS '96
, pp. 147-166
-
-
Löwe, S.1
-
9
-
-
0033314445
-
Model checking the secure electronic transaction (SET) protocol
-
College Park, MD, USA, October
-
th Inter. Symp. on Modeling, Analysis and Simulation of Comp. and Telecom. Systems (MASCOTS'99), College Park, MD, USA, October 1999, pp. 358-365.
-
(1999)
th Inter. Symp. on Modeling, Analysis and Simulation of Comp. and Telecom. Systems (MASCOTS'99)
, pp. 358-365
-
-
Lu, S.1
Smolka, S.A.2
-
11
-
-
84958035071
-
A formal specification of requirements for payment transactions in the SET protocol
-
Springer LNCS 1465, Anguilla, BWI, February
-
nd Conf. on Financial Cryptography (FC'98), Springer LNCS 1465, Anguilla, BWI, February 1998, pp. 122-140.
-
(1998)
nd Conf. on Financial Cryptography (FC'98)
, pp. 122-140
-
-
Meadows, C.1
Syverson, P.2
-
12
-
-
22544481506
-
Automatic verification of security in payment protocols for electronic commerce
-
Ciudad-Real, Spain, April
-
th Inter. Conf. on Enterprise Inform. Systems (ICEIS'02), Ciudad-Real, Spain, April 2002, pp. 968-974.
-
(2002)
th Inter. Conf. on Enterprise Inform. Systems (ICEIS'02)
, pp. 968-974
-
-
Panti, M.1
Spalazzi, L.2
Tacconi, S.3
Valenti, S.4
-
13
-
-
84944315419
-
Non-repudiation in SET: Open Issues
-
Springer LNCS 1962, Grand Cayman, BWI, February
-
th Conf. on Financial Cryptography (FC 2001), Springer LNCS 1962, Grand Cayman, BWI, February 2001, pp. 140-156.
-
(2001)
th Conf. on Financial Cryptography (FC 2001)
, pp. 140-156
-
-
Van Herreweghen, E.1
|