Browse by Person
 | Up a level |
Gay, Richard and Mantel, Heiko and Sprick, Barbara
TU Darmstadt (Corporate Creator) (2011):
Service Automata.
In: Preproceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST), [Conference or Workshop Item]
Gay, Richard and Mantel, Heiko and Sprick, Barbara (2010):
Service Automata for Secure Distributed Systems.
[Other]
D'Souza, Deepak and Holla, Raveendra and Kulkarni, Janardhan and Ramesh, Raghavendra Kagalavadi and Sprick, Barbara (2008):
The Decidability of Model-Checking Information Flow
Properties.
In: International Conference on Information Systems Security
(ICISS), [Conference or Workshop Item]
D'Souza, Deepak and Holla, Raveendra and Kulkarni, Janardhan and Ramesh, Raghavendra Kagalavadi and Sprick, Barbara (2008):
The Decidability of Model-Checking Information Flow Properties.
In: International Conference on Information Systems Security (ICISS), [Conference or Workshop Item]
Drucken
Impressum