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