Equational Approach to Formal Verification of SET

Q
QSIC
2004
Quality Software, Fourth International Conference on (QSIC'04)
Abstract - Equational Approach to Formal Verification of SET

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Kazuhiro Ogata Articles by Kokichi Futatsugi

Quality Software, Fourth International Conference on (QSIC'04)

Braunshweig, Germany

September 08-September 10

ISBN: 0-7695-2207-6

	ASCII Text	x
	Kazuhiro Ogata, Kokichi Futatsugi, "Equational Approach to Formal Verification of SET," 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 = {Equational Approach to Formal Verification of SET}, 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 - Equational Approach to Formal Verification of SET 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.

Kokichi Futatsugi, JAIST

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2004.1357944

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, "Equational Approach to Formal Verification of SET," qsic, pp.50-59, Quality Software, Fourth International Conference on (QSIC'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.