Sigrid Gürgens, Gimena Pujol. Specification of Security and Dependability Properties. In Spyros Kokolakis, Antonio Maña Gómez, George Spanoudakis, editors, Security and Dependability for Ambient Intelligence. Volume 45 of Advances in Information Security, pages 49-67, Springer, 2009. [doi]
@incollection{GurgensP09,
title = {Specification of Security and Dependability Properties},
author = {Sigrid Gürgens and Gimena Pujol},
year = {2009},
doi = {10.1007/978-0-387-88775-3_4},
url = {http://dx.doi.org/10.1007/978-0-387-88775-3_4},
researchr = {https://researchr.org/publication/GurgensP09},
cites = {0},
citedby = {0},
pages = {49-67},
booktitle = {Security and Dependability for Ambient Intelligence},
editor = {Spyros Kokolakis and Antonio Maña Gómez and George Spanoudakis},
volume = {45},
series = {Advances in Information Security},
publisher = {Springer},
isbn = {978-0-387-88774-6},
}