Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Information and Communications Security, 2006, p.332-351
2006
Volltextzugriff (PDF)

Software engineering notes, 2004-11, Vol.29 (6), p.117-126
2004
Volltextzugriff (PDF)

Formal Techniques for Networked and Distributed Systems - FORTE 2002, 2002, Vol.2529, p.260-275
2002
Volltextzugriff (PDF)

International Conference on Functional Programming: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming : Freiburg, Germany; 01-03 Oct. 2007, 2007, p.137-140
2007
Volltextzugriff (PDF)

ACM SIGPLAN Notices, 2007-09, Vol.42 (9), p.137-140
2007
Volltextzugriff (PDF)

20th Annual Computer Security Applications Conference, 2004, p.116-125
2004
Volltextzugriff (PDF)

Foundations of Software Engineering: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering : Newport Beach, CA, USA; 31 Oct.-06 Nov. 2004, 2004, p.117-126
2004
Volltextzugriff (PDF)

New Security Paradigms Workshop: Proceedings of the 2003 workshop on New security paradigms; 18-21 Aug. 2003, 2003, p.29-38
2003
Volltextzugriff (PDF)

ACM Symposium on Operating Systems Principles: Proceedings of the nineteenth ACM symposium on Operating systems principles; 19-22 Oct. 2003, 2003, p.15-28
2003
Volltextzugriff (PDF)