Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Model-based Security Engineering: KeynoteSECRYPT. 2006
Jürjens, Jan
Modeling and Compositional Design for Secure Embedded Systems (Invited Talk)NSF-IST workshop: Long Term Challenges in High Confidence Composable Embedded Systems, Helsinki (Finland), June 20--23, 2006. 2006
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular proof systems for partial functions with Evans equalityInformation and Computation. Bd. 204. H. 10. Amsterdam: Elsevier 2006 S. 1453 - 1492
Frey, Hannes; Stojmenovic, Ivan
On Delivery Guarantees of Face and Combined Greedy Face routing in Ad Hoc and Sensor NetworksMario Gerla; Chiara Petrioli; Ram Ramjee (Hrsg). MobiCom'06: Proceedings of the 12th Annual International Conference on Mobile Computing and Networking; September 24–29, 2006; Los Angeles, California, USA. New York, NY: ACM Association for Computing Machinery 2006 S. 390 - 401
Jürjens, Jan
Security Analysis of Crypto-based Java Programs using Automated Theorem ProversShinichi Honiden; Sebastian Uchitel; Steve Easterbrook (Hrsg). Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006: 18 - 22 September 2006; Tokyo, Japan. Los Alamitos, CA: IEEE Computer Society 2006 S. 167 - 176
Jürjens, Jan
Sicherheit - Wo stehen wir heute aus Sicht der Wissenschaft?Microsoft DevDays Security 2006. Munich. 2006
Kschischo, Maik
Stochastische Signalkaskaden mit RückkopplungThorsten Pöschel; Horst Malchow; Lutz Schimansky-Geier (Hrsg). Irreversible Prozesse und Selbstorganisation. Berlin: Logos 2006 S. 219 - 232
Jürjens, Jan; Fox, Jorge
Tools for Model-based Security EngineeringLeon J. Osterweil; Dieter Rombach; Mary Lou Soffa (Hrsg). Proceedings of the 28th International Conference on Software Engineering ICSE 2006: May 20. - 28., 2006; Shanghai, China. New York, NY: ACM Association for Computing Machinery 2006 S. 819 - 822
Mouratidis, Haralambos; Jürjens, Jan; Fox, Jorge
Towards a Comprehensive Framework for Secure Systems DevelopmentEric Dubois; Klaus Pohl (Hrsg). Advanced Information Systems Engineering: 18th International Conference, CAiSE 2006: Luxembourg, Luxembourg, June 5-9, 2006; Proceedings. Berlin: Springer 2006 S. 48 - 62
Cordy, James R.; Lämmel, Ralf; Winter, Andreas
Transformation Techniques in Software Engineering - Dagstuhl Seminar Proceedings 05161: 17.04. - 22.04.2005; Schloß DagstuhlWadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2006