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]