Analysis of Accountability Property in Payment Systems Using Strand Space Model
暂无分享,去创建一个
[1] Venkatasamy Sureshkumar,et al. Analysis of Electronic Voting Protocol Using Strand Space Model , 2014, SNDS.
[2] Supakorn Kungpisdan,et al. Practical Reasoning about Accountability in Electronic Commerce Protocols , 2001, ICISC.
[3] Joshua D. Guttman,et al. Searching for Shapes in Cryptographic Protocols , 2007, TACAS.
[4] Rajashekar Kailar,et al. Accountability in Electronic Commerce Protocols , 1996, IEEE Trans. Software Eng..
[5] Supakorn Kungpisdan. Accountability of Centralized Payment Systems: Formal Reasoning, Protocol Design and Analysis , 2010 .
[6] F. Javier Thayer Fábrega,et al. Strand spaces: proving security protocols correct , 1999 .
[7] Heike Neumann,et al. A Sound Logic for Analysing Electronic Commerce Protocols , 1998, ESORICS.
[8] Lawrence C. Paulson,et al. Accountability protocols: Formalized and verified , 2006, TSEC.