Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
Ergebnisse pro Seite:  10

Jürjens, Jan

Using UMLsec and Goal-Trees for Secure Systems Development

Gary 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


Stolzenburg, Frieder; Obst, Oliver; Murray, Jan

Vision and Spatial Reasoning - Qualitative Velocity and Ball Interception

Lecture notes in computer science. Bd. 2479. Berlin: Springer 2002 S. 283 - 298


Cengarle, Maria Victoria; Fernandez, Eduardo B.; Jürjens, Jan et al.

Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 Dresden

München: Technische Universität München, Institut für Informatik 2002 (TU München Technical Report TUM-I0208)


Jürjens, Jan

Abstracting from Failure Probabilities

Antti Valmari; Alex Yakovlev (Hrsg). Proceedings of the Second International Conference on Application of Concurrency to System Design ACSD 2001: 25 - 29 June 2001; Newcastle upon Tyne, UK. Los Alamitos, CA: IEEE Computer Society 2001 S. 53 - 64


Ebert, Jürgen; Lange, C.

Applying GUPRO to GEOS. A Case Study

2001 S. 56


Ebert, Jürgen; Kullbach, B.

Command Line GReQL (CLG). Benutzerhandbuch. CLG-Version 1.0

2001 S. 14


Jürjens, Jan

Composability of Secrecy

Vladimir I. Gorodetski; Victor A. Skormin; Leonard J. Popyack (Hrsg). Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings. Berlin: Springer 2001 S. 28 - 38


Jürjens, Jan

Developing Secure Systems with UMLsec - From Business Processes to Implementation

Dirk Fox;Marit Köhntopp;Andreas Pfitzmann (Hrsg). Verlässliche IT-Systeme 2001: Sicherheit in komplexen IT-Infrastrukturen. Wiesbaden: Vieweg + Teubner 2001 S. 151 - 161 (DuD-Fachbeiträge)


Ebert, Jürgen; Kullbach, B.; Schmitz, G.

Dokumentation des Ada-Parsers für GUPRO

2001


Jürjens, Jan

Encapsulating Rules of Prudent Security Engineering: (Position Paper)

Bruce Christianson; James A. Malcolm; Bruno Crispo; Michael Roe (Hrsg). Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers. Berlin: Springer 2001 S. 95 - 101