%0 Conference Paper %1 conf/csiirw/AliE08 %A Ali, Yomna %A El-Kassas, Sherif %B CSIIRW %D 2008 %E Sheldon, Frederick T. %E Krings, Axel W. %E Abercrombie, Robert K. %E Mili, Ali %I ACM %K dblp %P 13:1-13:3 %T A rigorous methodology for security architecture modeling and verification. %U http://dblp.uni-trier.de/db/conf/csiirw/csiirw2008.html#AliE08 %@ 978-1-60558-098-2

@inproceedings{conf/csiirw/AliE08, added-at = {2022-03-17T00:00:00.000+0100}, author = {Ali, Yomna and El-Kassas, Sherif}, biburl = {https://www.bibsonomy.org/bibtex/2e50452810e1f62d2b72f495584efd3d3/dblp}, booktitle = {CSIIRW}, crossref = {conf/csiirw/2008}, editor = {Sheldon, Frederick T. and Krings, Axel W. and Abercrombie, Robert K. and Mili, Ali}, ee = {https://doi.org/10.1145/1413140.1413155}, interhash = {925987f1dc1703de319469e43e4be152}, intrahash = {e50452810e1f62d2b72f495584efd3d3}, isbn = {978-1-60558-098-2}, keywords = {dblp}, pages = {13:1-13:3}, publisher = {ACM}, timestamp = {2024-04-09T23:41:07.000+0200}, title = {A rigorous methodology for security architecture modeling and verification.}, url = {http://dblp.uni-trier.de/db/conf/csiirw/csiirw2008.html#AliE08}, year = 2008 }