Model checking trace-based information flow properties: For finite state systems and pushdown systems - Brossura

Kagalavadi Ramesh, Raghavendra; D'Souza, Deepak; Sprick, Barbara

 
9783838377803: Model checking trace-based information flow properties: For finite state systems and pushdown systems
Brossura
ISBN 10: 383837780X ISBN 13: 9783838377803
Casa editrice: LAP LAMBERT Academic Publishing, 2012

Sinossi

Information flow properties are a way of specifying security properties of systems. A system is viewed as generating traces containing “confidential” and “visible” events (only the latter being observable by a “low-level” user) and the information flow properties specify restrictions on the kind of traces the system may generate, so as to restrict the amount of information a low-level user can infer about confidential events having taken place (or not) in an execution. Mantel identifies "basic security predicates” or BSPs and shows them to be the building blocks of most of the known trace-based properties in the literature. Traditionally BSPs have been reasoned about via unwinding conditions that capture whether a system satisfies a particular BSP. First, we show that the checking of unwinding conditions can be simplified to checking conditions on a maximal simulation relation. Second, we show that the BSPs can be characterized in terms of regularity preserving language-theoretic operations. This leads to a decision procedure for checking whether a finite state system satisfies a given BSP. Finally, we prove that the problem of verifying BSPs for pushdown systems is undecidable.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

L'autore

Raghavendra obtained Bachelor of Engineering degree from Visveswaraiah Technological University, India. He obtained Master of Science (Engineering) degree for his thesis 'Verification of information flow properties'. Currently he is doing Ph.D. under the supervision of Prof. Deepak D'Souza at Indian Institute of Science.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
LAP LAMBERT Academic Publishing
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
383837780X
ISBN 13 
9783838377803
Rilegatura
Copertina flessibile
Numero di pagine
64
Contatto del produttore
non disponibile
Persona responsabile
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Germania