TU Darmstadt / ULB / TUbiblio

The Decidability of Model-Checking Information Flow Properties

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]

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: D'Souza, Deepak and Holla, Raveendra and Kulkarni, Janardhan and Ramesh, Raghavendra Kagalavadi and Sprick, Barbara
Title: The Decidability of Model-Checking Information Flow Properties
Language: English
Title of Book: International Conference on Information Systems Security (ICISS)
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:11
Additional Information:

dsouza.ea:decidability:2008a

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item