Exploiting automatic analysis of e-commerce protocols
暂无分享,去创建一个
[1] J. D. Tygar,et al. Atomicity in electronic commerce , 1998, PODC '96.
[2] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[3] Johann Schumann,et al. Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[4] Bernhard Bauer,et al. Extending UML for agents , 2000 .
[5] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[6] Johan Lilius,et al. vUML: a tool for verifying UML models , 1999, 14th IEEE International Conference on Automated Software Engineering.
[7] Diego Latella,et al. Model checking UML Statechart diagrams using JACK , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
[8] Indrajit Ray,et al. Failure analysis of an e-commerce protocol using model checking , 2000, Proceedings Second International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems. WECWIS 2000.