Robotics Innovation Center

Publications

Page 4 of 14.

Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006), located at …
Dieter Hutter
Formal Security Policies for the Web
In: S. Rajendram (Hrsg.). Proceedings of the 1st International Conference on Information Security and Computer Forensic. International Conference on …
Fernando Godínez; Dieter Hutter; Raul Monroy
On the Use of Word Networks to Mimicry Attack Detection
In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …
Dieter Hutter; Melanie Volkamer
Information Flow Control to Secure Dynamic Web Service Composition.
In: Proceedings of the 3rd International Conference on Security in Pervasive Computing, SPC-2006. International Conference on Security in Pervasive …
Dieter Hutter; Melanie Volkamer; Matthias Klusch; Andreas Gerber
Provably Secure Execution of Composed Semantic Web Services
In: Proccedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments. International Workshop on Privacy …
Dieter Hutter; Matthias Klusch; Melanie Volkamer
Information Flow Analysis Based Security Checking of Health Service Composition Plans
In: Proccedings of the 1st European Conference on eHealth (ECEH06). European Conference on eHealth (ECEH), Fribourg, Lecture Notes in Informatics, …
Dieter Hutter
Possibilistic Information Flow Control in MAKS and Action Refinement
In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …
Dieter Hutter; Melanie Volkamer
Information Flow Control for Distributed Usage Control
In: Proceedings of the 4th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods. International …
Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …
Dieter Hutter
Automating Proofs of Unwinding Conditions
In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International …

Links

Robotics Innovation Center

A method for patching interleaving-replay attacks in faulty security protocols

Formal Security Policies for the Web

On the Use of Word Networks to Mimicry Attack Detection

Information Flow Control to Secure Dynamic Web Service Composition.

Provably Secure Execution of Composed Semantic Web Services

Information Flow Analysis Based Security Checking of Health Service Composition Plans

Possibilistic Information Flow Control in MAKS and Action Refinement

Information Flow Control for Distributed Usage Control

A method for patching interleaving-replay attacks in faulty security protocols

Automating Proofs of Unwinding Conditions

Links

Contact

Main site in Bremen