Swee Keow Goo, James M. Irvine, Allan Tomlinson, Scarlet Schwiderski-Grosche. Designing & verifying secure protocols of the digital marketplace. In Proceedings of the 2nd IEEE International Symposium on Wireless Communication Systems, ISWCS 2005, Siena, Italy, 5-7 September 2005. pages 86-90, IEEE, 2005. [doi]
Abstract is missing.