Jürjens, Jan

Security Protocols Workshop. 2001 S. 102 - 106

Jürjens, Jan

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. 102 - 106 (Lecture Notes in Computer Science)

Jürjens, Jan

Security Protocols Workshop. 2001 S. 95 - 101

Jürjens, Jan

Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4

Abadi, Martín; Jürjens, Jan

Naoki Kobayashi;Benjamin C. Pierce (Hrsg). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. Berlin: Springer 2001 S. 82 - 94 (Lecture Notes in Computer Science)

Abadi, Martín; Jürjens, Jan

TACS. 2001 S. 82 - 94

Wimmel, Guido; Jürjens, Jan

Debra 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; Wimmel, Guido

ASE. 2001 S. 408 - 411

Jürjens, Jan

Michel Dupuy;Pierre Paradinas (Hrsg). Trusted Information: The New Decade Challenge. Boston: Springer 2001 S. 93 - 107

Jürjens, Jan

SEC. 2001 S. 93 - 108