Publikationen

In: Luca Vigano , Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA) befindet sich Affiliated with ETAPS 2009 March 28-29 York United Kingdom Lectures Notes in Computer Science (LNCS) Springer Verlag 2009.

Zur Publikation

In: J. Biskup (Hrsg.). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security (ESORICS-07) September 24-August 26 Dresden Germany Lectures Notes in Computer Science (LNCS) Springer-Verlag 2007.

Zur Publikation

In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006) befindet sich Associated with CAV 2006 August 21 Seattle WA United States Seiten 117-130 174 4 Electronic Notes in Theoretical Computer Science 2007.

Zur Publikation

In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. International Conference on Emerging Trends in Information and Communication Security (ETRICS) Springer-Verlag, LNCS 2006.

Zur Publikation

In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC) Electronic Notes in Theoretical Computer Science 2006.

Zur Publikation

In: Proceedings of the Financial Cryptography and Data Security. Financial Cryptography and Data Security Lecture Notes in Computer Science Springer-Verlag, LNCS 3570 2005.

Zur Publikation

In: Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005. IEEE International Symposium and School on Advanced Distributed Systems (ISSADS) Seiten 83-97 Lecture Notes in Computer Science, LNCS 3563 Springer-Verlag 2005.

Zur Publikation

In: J. Favela , E. Manasalvas (Hrsg.). Proceedings of Atlantic Web Intelligence Conference, AWIC04. Atlantic Web Intelligence Conference (AWIC) LNCS Springer 2004.

Zur Publikation

In: Proceedings of the 2004 Workshop on Information Security Applications, WISA`04. Workshop on Information Security Applications (WISA-2004) Seiten 101-115 Lecture Notes in Computer Science 3325 Springer 2004.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence