Modelling of security properties in Alloy. Georgieva, L. In PST, pages 52-54, 2011. IEEE. ![Modelling of security properties in Alloy. [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link Paper bibtex @inproceedings{conf/pst/Georgieva11,
author = {Georgieva, Lilia},
booktitle = {PST},
crossref = {conf/pst/2011},
ee = {http://dx.doi.org/10.1109/PST.2011.5971963},
interhash = {40cd292609c92cf727e161853f628165},
intrahash = {4a4bce3f397cf582478b1f4236b87463},
isbn = {978-1-4577-0582-3},
pages = {52-54},
publisher = {IEEE},
title = {Modelling of security properties in Alloy.},
url = {http://dblp.uni-trier.de/db/conf/pst/pst2011.html#Georgieva11},
year = 2011
}
Downloads: 0
{"_id":"6Heowz8fBfpWNWwky","bibbaseid":"georgieva-modellingofsecuritypropertiesinalloy-2011","downloads":0,"creationDate":"2017-09-29T17:06:15.946Z","title":"Modelling of security properties in Alloy.","author_short":["Georgieva, L."],"year":2011,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/georgieva ?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Georgieva"],"firstnames":["Lilia"],"suffixes":[]}],"booktitle":"PST","crossref":"conf/pst/2011","ee":"http://dx.doi.org/10.1109/PST.2011.5971963","interhash":"40cd292609c92cf727e161853f628165","intrahash":"4a4bce3f397cf582478b1f4236b87463","isbn":"978-1-4577-0582-3","pages":"52-54","publisher":"IEEE","title":"Modelling of security properties in Alloy.","url":"http://dblp.uni-trier.de/db/conf/pst/pst2011.html#Georgieva11","year":"2011","bibtex":"@inproceedings{conf/pst/Georgieva11,\n author = {Georgieva, Lilia},\n booktitle = {PST},\n crossref = {conf/pst/2011},\n ee = {http://dx.doi.org/10.1109/PST.2011.5971963},\n interhash = {40cd292609c92cf727e161853f628165},\n intrahash = {4a4bce3f397cf582478b1f4236b87463},\n isbn = {978-1-4577-0582-3},\n pages = {52-54},\n publisher = {IEEE},\n title = {Modelling of security properties in Alloy.},\n url = {http://dblp.uni-trier.de/db/conf/pst/pst2011.html#Georgieva11},\n year = 2011\n}\n\n","author_short":["Georgieva, L."],"key":"conf/pst/Georgieva11","id":"conf/pst/Georgieva11","bibbaseid":"georgieva-modellingofsecuritypropertiesinalloy-2011","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/PST.2011.5971963","Paper":"http://dblp.uni-trier.de/db/conf/pst/pst2011.html#Georgieva11"},"downloads":0,"html":""},"search_terms":["modelling","security","properties","alloy","georgieva"],"keywords":[],"authorIDs":[],"dataSources":["jPsAgrd2hEbEeMfdR"]}