Imagen del editor

Model Checking Trace-Based Information Flow Properties (Paperback)

Raghavendra Kagalavadi Ramesh, Deepak D Souza, Barbara Sprick

ISBN 10: 383837780X / ISBN 13: 9783838377803
Editorial: LAP Lambert Academic Publishing, Germany, 2012
Nuevos Condición: New Encuadernación de tapa blanda
Librería: The Book Depository EURO (London, Reino Unido)

Librería en AbeBooks desde: 29 de abril de 2014 Valoración librería Valoración 3 estrellas

Cantidad disponible: 1

Comprar nuevo
Precio: EUR 73,49 Convertir moneda
Gastos de envío: EUR 3,58 De Reino Unido a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

Language: English . Brand New Book. 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. N° de ref. de la librería KNV9783838377803

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Model Checking Trace-Based Information Flow ...

Editorial: LAP Lambert Academic Publishing, Germany

Año de publicación: 2012

Encuadernación: Paperback

Condición del libro: New

Edición: Aufl.

Acerca de

Reseña del editor:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Descripción de la librería

The Book Depository - bookdepository.com - is the UK's largest dedicated online bookseller offering the largest range of titles in the world, available for dispatch within 48 hours. Founded in 2004 to make 'All Books To All' we focus on selling 'less of more' rather than 'more of less', differentiating ourself from other retailers who increasingly focus on bestsellers. All books available to All Currently, The Book Depository is able to ship over 4 million unique titles, within 48 hours, from our fulfillment centre in Gloucester, United Kingdom. This figure is increasing everyday. Apart from publishers, distributors and wholesalers, we even list and supply books from other retailers!

Ver la página web de la librería

Condiciones de venta:

All books are shipped in New condition promptly, we are
happy to accept returns up to 30 days from purchase. Orders
usually ship within 1-2 business days. Domestic Shipments
are sent by Royal Mail, and International by Priority
Airmail. We are happy to accept returns up to 30 days from
purchase.

¿ Name of business : The Book Depository Ltd
¿ Form of legal entity : A Limited Company
¿ Business address: The Book Depository, Thames Central, Hatfield Road,
Slough, Berkshire, SL1 1QE
¿ Email address:...

Más información
Condiciones de envío:

Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal
Mail, and International by Priority Airmail. Orders usually ship within 1-2
business days. Domestic Shipments are sent by Royal Mail, and International by
Priority Airmail. We are happy to accept returns up to 30 days from purchase.
Please contact the seller directly if you wish to return an order.

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue