Modelling a Java Ring based implementation of an N-Count payment system
暂无分享,去创建一个
[1] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[2] An operational model of QuickPay , 1998 .
[3] Ross J. Anderson,et al. On the Reliability of Electronic Payment Systems , 1996, IEEE Trans. Software Eng..
[4] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .
[5] 염흥렬,et al. [서평]「Applied Cryptography」 , 1997 .
[6] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[7] Pieter H. Hartel,et al. Structuring and Visualising an IC-card Security Standard , 1996, CARDIS.
[9] Roger M. Needham,et al. TEA, a Tiny Encryption Algorithm , 1994, FSE.