Anders Moen Hagalisletto. Automated refinement of security protocols. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]
@inproceedings{Hagalisletto06,
title = {Automated refinement of security protocols},
author = {Anders Moen Hagalisletto},
year = {2006},
doi = {10.1109/IPDPS.2006.1639686},
url = {http://dx.doi.org/10.1109/IPDPS.2006.1639686},
tags = {protocol, refinement, security},
researchr = {https://researchr.org/publication/Hagalisletto06},
cites = {0},
citedby = {0},
booktitle = {20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {IEEE},
}