Jürjens, Jan
Games In The Semantics Of Programming Languages - An Elementary IntroductionSynthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158
Jürjens, Jan
Methodische Entwicklung sicherer CORBA-AnwendungenPatrick Horster (Hrsg). Enterprise Security: Grundlagen, Strategien, Anwendungen, Realisierungen. Höhenkirchen: IT-Verlag für Informationstechnik 2002 S. 120 - 131
Jürjens, Jan
Principles for secure system designOxford: University of Oxford, Mathematical and Physical Sciences Division 2002
Jürjens, Jan
Secure Java Development with UMLBart De Decker; Frank Piessens; Jan Smits; Els Van Herreweghen (Hrsg). Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4; First Annual Working Conference on Network Security; November 26-27, 2001, Leuven, Belgium. New York: Kluwer Academic Publishers 2002 S. 107 - 124
Jürjens, Jan
Secure Systems Development with UML - Applications to Telemedicine: Invited talkCORAS Public Workshop. Regensburg. 2002
Wimmel, Guido; Jürjens, Jan
Specification-based Test Generation for Security-Critical Systems Using MutationsChris George; Huaikou Miao (Hrsg). Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21. - 25., 2002 Proceedings. Berlin: Springer 2002 S. 471 - 482
Wimmel, Guido; Popp, Gerhard; Jürjens, Jan
Towards Using Security Patterns in Model-based System Development7th European Conference on Pattern Languages of Programs (EuroPLoP 2002). Kloster Irsee. 2002
Jürjens, Jan
UMLsec - Presenting the Profile: A Half-day tutorial6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002). Baltimore, Maryland. 2002
Jürjens, Jan
UMLsec: Extending UML for Secure Systems DevelopmentJean-Marc Jézéquel; Heinrich Hussmann; Stephen Cook (Hrsg). ≪UML≫ 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings. Berlin: Springer 2002 S. 412 - 425
Jürjens, Jan
Using UMLsec and Goal-Trees for Secure Systems DevelopmentGary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1026 - 1030