DSpace Repository

Formal verification of fairness properties in Secure Electronic Transactions (SET)

Show simple item record

dc.contributor.author Nguyen Trung Hieu en_US
dc.date.accessioned 2015-01-12T10:39:55Z
dc.date.available 2015-01-12T10:39:55Z
dc.identifier.other AIT Thesis no.CS-03-13 en_US
dc.identifier.uri http://www.cs.ait.ac.th/xmlui/handle/123456789/267
dc.description Pathum Thani, Thailand : Asian Institute of Technology, 2003 en_US
dc.description 45 p. en_US
dc.description.abstract Secure electronic transaction pro t ocol is an im portant security protocol used to secure bankcard paym ents on internet. Beside authenti cation, authority & priv acy requirem ent this protocol needs to m eet fairness requirem e nt which ensures no protocol participant gains advantage over other. Non-repudiation is one of the m o st im portant properties in fairness requirem e nt. Non-repudiation guar antees that m e rchant can no t deny having sent the product and custom er can not deny having received it. Existing version of S ET does not support non- repudiation property when good is digital like software’s. This thesis proposes a new pr otocol which is based on original SET protocol and satisf i es this requ irem ent. To p r ov e th is ne w protocol satisfies fa irness properties, Game based m e thod proposed by Kre m er is applied. T h is m e thod uses alternati ng transition system to m odel protocol and alternati ng tim e te m poral logic to expre ss requirem e nts. This m e thod i s autom a ted by using the model ch ecker MOCHA. However, in m y verification process I find that using MOCHA tool directly is not correct. MOCHA t ool veri fies for m ula at initial state only, and lacks ability to verify formula at certain reachable state of system . In this thesis I have put efforts in direction to enhan ce the capability of this tool also.
dc.relation.ispartof Thesis no. CS-03-13 en_US
dc.relation.ispartof Asian Institute of Technology. Thesis no. CS-03-13 en_US
dc.subject SET (Computer network protocol) en_US
dc.subject Computer network protocols en_US
dc.title Formal verification of fairness properties in Secure Electronic Transactions (SET) en_US
dc.type Thesis en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account