An Operational Model of QuickPay

J.J. Quisquater; Pieter H. Hartel; J. Hill; B. Schneier; M. Sims

doi:10.1007/10721064_2

An Operational Model of QuickPay

J.J. Quisquater (Editor), Pieter H. Hartel, J. Hill, B. Schneier (Editor), M. Sims

Research output: Contribution to conference › Paper › peer-review

169 Downloads (Pure)

Abstract

QuickPay is a system for micro payments aiming to avoid the cost of cryptographic operations during payments. An operational model of the system has been built to assist in the search for weaknesses in the protocols. As a result of this model building activity, one minor weakness has been found. Another more serious weakness has been re-discovered and a number of solutions are proposed. The strongest solution is proved correct.

Original language	Undefined
Pages	19-28
Number of pages	10
DOIs	https://doi.org/10.1007/10721064_2
Publication status	Published - Sept 1998
Event	3rd Smart Card Research and Advanced Application Conference, CARDIS 1998 - Louvain la Neuve, Belgium Duration: 14 Sept 1998 → 16 Sept 1998 Conference number: 3

Other

Other	3rd Smart Card Research and Advanced Application Conference, CARDIS 1998
Abbreviated title	CARDIS 1998
Country/Territory	Belgium
City	Louvain la Neuve
Period	14/09/98 → 16/09/98

Keywords

IR-55695
SCS-Cybersecurity
EWI-1054

Access to Document

10.1007/10721064_2

http://www.dsse.ecs.soton.ac.uk/techreports/95-03/98-4.html

Cite this

@conference{903d91e81c854278a941c8763f548601,

title = "An Operational Model of QuickPay",

abstract = "QuickPay is a system for micro payments aiming to avoid the cost of cryptographic operations during payments. An operational model of the system has been built to assist in the search for weaknesses in the protocols. As a result of this model building activity, one minor weakness has been found. Another more serious weakness has been re-discovered and a number of solutions are proposed. The strongest solution is proved correct.",

keywords = "IR-55695, SCS-Cybersecurity, EWI-1054",

author = "J.J. Quisquater and Hartel, {Pieter H.} and J. Hill and B. Schneier and M. Sims",

note = "Imported from DIES; 3rd Smart Card Research and Advanced Application Conference, CARDIS 1998 ; Conference date: 14-09-1998 Through 16-09-1998",

year = "1998",

month = sep,

doi = "10.1007/10721064_2",

language = "Undefined",

pages = "19--28",

}

TY - CONF

T1 - An Operational Model of QuickPay

AU - Hartel, Pieter H.

AU - Hill, J.

AU - Sims, M.

A2 - Quisquater, J.J.

A2 - Schneier, B.

N1 - Conference code: 3

PY - 1998/9

Y1 - 1998/9

N2 - QuickPay is a system for micro payments aiming to avoid the cost of cryptographic operations during payments. An operational model of the system has been built to assist in the search for weaknesses in the protocols. As a result of this model building activity, one minor weakness has been found. Another more serious weakness has been re-discovered and a number of solutions are proposed. The strongest solution is proved correct.

AB - QuickPay is a system for micro payments aiming to avoid the cost of cryptographic operations during payments. An operational model of the system has been built to assist in the search for weaknesses in the protocols. As a result of this model building activity, one minor weakness has been found. Another more serious weakness has been re-discovered and a number of solutions are proposed. The strongest solution is proved correct.

KW - IR-55695

KW - SCS-Cybersecurity

KW - EWI-1054

U2 - 10.1007/10721064_2

DO - 10.1007/10721064_2

M3 - Paper

SP - 19

EP - 28

T2 - 3rd Smart Card Research and Advanced Application Conference, CARDIS 1998

Y2 - 14 September 1998 through 16 September 1998

ER -