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 :
The Decidability of Model-Checking Information Flow Properties.
International Conference on Information Systems Security (ICISS)
[Conference or Workshop Item] , (2008)

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: ["languages_typename_1" not defined]
Title of Book: International Conference on Information Systems Security (ICISS)
Divisions: Department of Computer Science
Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Identification Number: dsouza.ea:decidability:2008
Export:

Optionen (nur für Redakteure)

View Item View Item