loading...
We Present a Complete Study Involving in the One Hand
Braunshweig, Germany September 08-September 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2004.1357944Quality Software, Fourth Internationa ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Kazuhiro Ogata, Kokichi Futatsugi, "We Present a Complete Study Involving in the One Hand," Quality Software, International Conference on, pp. 50-59, Quality Software, Fourth International Conference on (QSIC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2004.1357944,
author = {Kazuhiro Ogata and Kokichi Futatsugi},
title = {We Present a Complete Study Involving in the One Hand},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2207-6},
pages = {50-59},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2004.1357944},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - We Present a Complete Study Involving in the One Hand
SN - 0-7695-2207-6
SP50
EP59
A1 - Kazuhiro Ogata,
A1 - Kokichi Futatsugi,
PY - 2004
KW - algebraic specification
KW - interactive theorem proving
KW - payment
KW - security
KW - rewriting
KW - verification
VL - 0
JA - Quality Software, International Conference on
ER -
 
Kazuhiro Ogata, NEC Software Hokuriku, Ltd.
We have formally verified that a payment protocol, which is an abstract SET payment protocol but retains the essential part of the SET payment protocol, has several desired properties. Among the properties are that if the payment gateway authorizes a payment, then both cardholder and merchant concerned always agree on the payment, and at this time the two principles also agree on the transaction amount.
Index Terms:
algebraic specification, interactive theorem proving, payment, security, rewriting, verification
Citation:
Kazuhiro Ogata, Kokichi Futatsugi, "We Present a Complete Study Involving in the One Hand," qsic, pp.50-59, Quality Software, Fourth International Conference on (QSIC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.