%0 Conference Paper %1 conf/damas/JanickeSJCZ05 %A Janicke, Helge %A Siewe, François %A Jones, Kevin I. %A Cau, Antonio %A Zedan, Hussein %B DAMAS %D 2005 %E Thompson, Simon G. %E Ghanea-Hercock, Robert A. %I Springer %K %P 92-103 %T Analysis and Run-Time Verification of Dynamic Security Policies. %U http://dblp.uni-trier.de/db/conf/damas/damas2005.html#JanickeSJCZ05 %V 3890 %@ 3-540-32832-7

@inproceedings{conf/damas/JanickeSJCZ05, added-at = {2023-12-13T03:14:34.000+0100}, author = {Janicke, Helge and Siewe, François and Jones, Kevin I. and Cau, Antonio and Zedan, Hussein}, biburl = {https://www.bibsonomy.org/bibtex/2912100ca52551a891c188cf58192ccf0/admin}, booktitle = {DAMAS}, crossref = {conf/damas/2005}, editor = {Thompson, Simon G. and Ghanea-Hercock, Robert A.}, ee = {http://dx.doi.org/10.1007/11683704_8}, interhash = {89116fd0c50acb7bc9b574c4d81ef5bd}, intrahash = {912100ca52551a891c188cf58192ccf0}, isbn = {3-540-32832-7}, keywords = {}, pages = {92-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:14:34.000+0100}, title = {Analysis and Run-Time Verification of Dynamic Security Policies.}, url = {http://dblp.uni-trier.de/db/conf/damas/damas2005.html#JanickeSJCZ05}, volume = 3890, year = 2005 }