Lilia Georgieva. Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols. In Radu Sion, editor, Financial Cryptography and Data Security, 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers. Volume 6052 of Lecture Notes in Computer Science, pages 428, Springer, 2010. [doi]
@inproceedings{Georgieva10,
title = {Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols},
author = {Lilia Georgieva},
year = {2010},
doi = {10.1007/978-3-642-14577-3_42},
url = {http://dx.doi.org/10.1007/978-3-642-14577-3_42},
tags = {protocol, domain analysis, analysis},
researchr = {https://researchr.org/publication/Georgieva10},
cites = {0},
citedby = {0},
pages = {428},
booktitle = {Financial Cryptography and Data Security, 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers},
editor = {Radu Sion},
volume = {6052},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14576-6},
}