Blättern nach Person

Gay, Richard ; Mantel, Heiko ; Sprick, Barbara
TU Darmstadt (ed.) :
Service Automata.
TU Darmstadt (.) Preproceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST)
[ Konferenzveröffentlichung] , (2011)

Gay, Richard ; Mantel, Heiko ; Sprick, Barbara :
Service Automata for Secure Distributed Systems.

[Anderes] , (2010)

D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara :
The Decidability of Model-Checking Information Flow Properties.
International Conference on Information Systems Security (ICISS)
[ Konferenzveröffentlichung] , (2008)

D'Souza, Deepak ; Holla, Raveendra ; Kulkarni, Janardhan ; Ramesh, Raghavendra Kagalavadi ; Sprick, Barbara :
The Decidability of Model-Checking Information Flow Properties.
International Conference on Information Systems Security (ICISS)
[ Konferenzveröffentlichung] , (2008)