9783838377803 - model checking trace-based information flow properties: for finite state systems and pushdown systems de kagalavadi ramesh, raghavendra; d'souza, deepak; sprick, barbara (4 resultados)
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 43,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Model checking trace-based information flow properties | For finite state systems and pushdown systems | Raghavendra Kagalavadi Ramesh (u. a.) | Taschenbuch | Englisch | LAP Lambert Academic Publishing | EAN 9783838377803 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr.… 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
Model checking trace-based information flow properties: For finite state systems and pushdown systems
Kagalavadi Ramesh, Raghavendra, D*Souza, Deepak, Sprick, Bar
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 175,29
Envío por EUR 29,34Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Model checking trace-based information flow properties
Raghavendra Kagalavadi Ramesh|Deepak D\'Souza|Barbara Sprick
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 41,67
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Kagalavadi Ramesh RaghavendraRaghavendra obtained Bachelor of Engineering degree from Visveswaraiah Technological University, India. He obtained Master of Science (Engineering) degree for his thesis Ver…ification of information flow .
- Tapa blanda
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,59
Envío por EUR 60,56Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 informa…tion 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.
