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...
Link-Resolver
Autor(en)
Barthe, Gilles
Artikel
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
Titel
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Verlag
Springer-Verlag Berlin Heidelberg
Ort
Berlin, Heidelberg
Erscheinungsjahr
2008
Es wurden folgende elektronische Volltexte gefunden