Lilia Georgieva. Modelling of security properties in Alloy. In Ninth Annual Conference on Privacy, Security and Trust, PST 2011, 19-21 July, 2011, Montreal, Québec, Canada. pages 52-54, IEEE, 2011. [doi]
@inproceedings{Georgieva11,
title = {Modelling of security properties in Alloy},
author = {Lilia Georgieva},
year = {2011},
doi = {10.1109/PST.2011.5971963},
url = {http://dx.doi.org/10.1109/PST.2011.5971963},
researchr = {https://researchr.org/publication/Georgieva11},
cites = {0},
citedby = {0},
pages = {52-54},
booktitle = {Ninth Annual Conference on Privacy, Security and Trust, PST 2011, 19-21 July, 2011, Montreal, Québec, Canada},
publisher = {IEEE},
isbn = {978-1-4577-0582-3},
}