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]
@inproceedings{GooITS05,
title = {Designing & verifying secure protocols of the digital marketplace},
author = {Swee Keow Goo and James M. Irvine and Allan Tomlinson and Scarlet Schwiderski-Grosche},
year = {2005},
doi = {10.1109/ISWCS.2005.1547661},
url = {https://doi.org/10.1109/ISWCS.2005.1547661},
researchr = {https://researchr.org/publication/GooITS05},
cites = {0},
citedby = {0},
pages = {86-90},
booktitle = {Proceedings of the 2nd IEEE International Symposium on Wireless Communication Systems, ISWCS 2005, Siena, Italy, 5-7 September 2005},
publisher = {IEEE},
isbn = {0-7803-9206-X},
}