Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Developing High-Assurance Secure Systems with UML: An Smartcard-based Purchase ProtocolC. V. Ramamoorthy; Wei-Tek Tsai (Hrsg). Proceeding of the Eighth IEEE International Symposium on High Assurance Systems Engineering HASE 2004: 25-26 March 2004; Tampa, Florida. Los Alamitos, CA: IEEE Computer Society 2004 S. 231 - 240
Jürjens, Jan
Developing Secure Web-based Applications with UML: Methods and Tools: TutorialFourth International Conference on Web Engineering (ICWE’04). München (Germany). 2004
Jürjens, Jan
Developing Security-Critical Applications with UMLsec: A Short Walk-ThroughUpgrade : The European Journal for the Informatics Professional. Bd. 5. H. 2. Frankfurt am Main: CEPIS 2004 S. 1 - 6
Jürjens, Jan
Logic for SecuritySpring School Logic in Computer Science. Venezia. 2004
Jürjens, Jan
Model-based Security Engineering with UMLFOSAD 2004. Bertinoro. 2004
Jürjens, Jan
Model-based Security with UMLsec - Web-castUMLchina. 2004
Jürjens, Jan
Model-driven engineering of dependable critical systems with UML: A TutorialInternational Symposium on Software Reliability Engineering (ISSRE 2004). Saint-Malo, Bretagne. 2004
Jürjens, Jan
Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement - Invited talkSystems 2004 (Software Development & Architecture Forum). München. 2004
Schmidt, Robert; Jürjens, Jan
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches ZugangskontrollsystemWolfgang Hesse; Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 309 - 310
Jürjens, Jan
Modellierung 2004: KurzbeiträgeWolfgang Hesse;Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 279