Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Frey, Hannes; Görgen, Daniel; Lehnert, Johannes K. et al.
Auctions in mobile multihop ad-hoc networks following the marketplace communication patternQusay H. Mahmoud; Hans Weghorn (Hrsg). Proceedings of the 3rd International Workshop on Wireless Information Systems WIS in conjunction with the the Sixth International Conference on Enterprise Information Systems ICEIS 2004; April 14-17, 2004; Porto, Portugal. Setúbal: SciTePress 2004 S. 161 - 169
Jürjens, Jan; Kuhn, Thomas A.
Automated Theorem Proving for Cryptographic Protocols with Automatic Attack GenerationMünchen: Technische Universität München, Institut für Informatik 2004
Jürjens, Jan; Shabalin, Pasha
Automated Verification of UMLsec Models for Security RequirementsThomas Baar; Alfred Strohmeier; Ana Moreira; Stephen J. Mellor (Hrsg). «UML» 2004 - The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Berlin: Springer 2004 S. 365 - 379
Jürjens, Jan; Buda, Lidiya
Berechtigungsvergabe in SAP Systemen und ihre automatische ÜberprüfungDatenschutz und Datensicherheit. Bd. 28. H. 8. Wiesbaden: Vieweg 2004 S. 476 - 479
Jürjens, Jan
Componentware for Critical SystemsJournal of Object Technology. Bd. 3. H. 4. Zürich: ETH Zürich 2004 S. 47 - 50
Jürjens, Jan
Constructing Tool-Support for Sophisticated Analysis of UML Models: A TutorialUML 2004. Lisbon. 2004 S. 1 - 114
Jürjens, Jan
Desarrollo de aplicaciones críticas en seguridad con UMLsec: una breve introducciónNovática : Revista de le Asociación de Técnicos de Informática. Bd. 168. Barcelona: Asociación de Técnicos de Informática 2004 S. 28 - 33
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