@InProceedings{avus04,
author = {J.~{J}{\"u}{r}jens and P.~Shabalin},
title = {Automated Verification of {UMLsec} Models for Security Requirements},
booktitle = {{\guillemotleft}UML{\guillemotright} 2004 - The Unified Modelling
Language: Modelling Languages and Applications. 7th International
Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
year = {2004},
pages = {365--379},
series = {Lecture Notes in Computer Science},
volume = {3273},
address = {Lisabon},
publisher = {Springer Verlag},
file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/uml04talk.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/uml04talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/uml04.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-540-30187-5_26:URL},
keywords = {toolDescription, internationalConferences, secureSoftwareEngineeringAutomatedFormalSecurityAnalysis},
}
BibTeX audio slides preprint dblp SpringerLink