Designing & verifying secure protocols of the digital marketplace

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]

Authors

Swee Keow Goo

This author has not been identified. Look up 'Swee Keow Goo' in Google

James M. Irvine

This author has not been identified. Look up 'James M. Irvine' in Google

Allan Tomlinson

This author has not been identified. Look up 'Allan Tomlinson' in Google

Scarlet Schwiderski-Grosche

This author has not been identified. Look up 'Scarlet Schwiderski-Grosche' in Google