Model checking the SET purchasing process protocol with SPIN

Authors:
Li Jing;Li Jinhua
Affiliations:
The College of Information Engineering, Qingdao University, QingDao, China;The College of Information Engineering, Qingdao University, QingDao, China
Venue:
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Year:
2009

Citing 6
Cited 1

Model checking

Model checking
Using SPIN to Verify Security Properties of Cryptographic Protocols

Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Symmetry in temporal logic model checking

ACM Computing Surveys (CSUR)
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Model-Checking Behavioral Specification of BPEL Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
A flaw in the electronic commerce protocol SET

Information Processing Letters

Modelling and verification of JXTA peer-topeer network protocols

VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...