Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Wimmel, Guido; Jürjens, Jan
Formally Testing Fail-safety of Electronic Purse ProtocolsDebra Richardson; Martin S. Feather; Michael Goedicke (Hrsg). Proceedings of the16th Annual International Conference on Automated Software Engineering ASE 2001: 26-29 November 2001; Loew’s Coronado Bay Resort, Coronado Island, San Diego, California. Los Alamitos, CA: IEEE Computer Society 2001 S. 408 - 411
Jürjens, Jan
Modelling Audit Security for Smart-Cart Payment Schemes with UML-SECMichel Dupuy; Pierre Paradinas (Hrsg). Trusted Information: The New Decade Challenge. Boston: Springer 2001 S. 93 - 107
Jürjens, Jan
On a problem of Gabriel and UlmerJournal of Pure and Applied Algebra. Bd. 158. H. 2-3. Amsterdam: Elsevier 2001 S. 183 - 196
Jürjens, Jan
Secrecy-preserving RefinementJosé Nuno Oliveira; Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152
Jürjens, Jan; Wimmel, Guido
Security Modelling for Electronic Commerce: The Common Electronic Purse SpecificationsBeat Schmid; Katarina Stanoevska-Slabeva; Volker Tschammer (Hrsg). Towards the E-Society: E-Commerce, E-Business, and E-Government The First IFIP Conference on E-Commerce, E-Business, E-Government I3E 2001: October 3-5, 2001; Zürich, Switzerland. New York: Kluwer Academic Publishers 2001 S. 489 - 505
Jürjens, Jan; Wimmel, Guido
Specification-Based Testing of FirewallsDines Bjørner; Manfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers. Berlin: Springer 2001 S. 308 - 316
Jürjens, Jan
Towards Development of Secure Systems Using UMLsecHeinrich Hussmann (Hrsg). Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Berlin: Springer 2001 S. 187 - 200
Jürjens, Jan
Transformations for Introducing Patterns - A Secure Systems Case StudyWorkshop on Transformations in UML (WTUML, ETAPS 2001 Satellite Event). Genova. 2001 S. 1 - 5
Jürjens, Jan
Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about CryptographyDagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10
Jürjens, Jan
Secure Information Flow for Concurrent ProcessesCatuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409