{"product_id":"model-checking-infinite-state-systems-for-information-flow-security-von-raghavendra-k-r","title":"Model-checking infinite state systems for information flow security","description":"\u003cp\u003eInformation flow properties are a way of specifying security properties of systems, dating back to the work of Goguen and Meseguer in the eighties. In this framework, a system is modeled as having high-level (or confidential) events as well as low-level (or public) events, and a typical property requires that the high-level events should not ''influence'' the occurrence of low-level events. In this book we study the problem of model-checking the well-known trace-based and bisimulation-based information flow security properties for some popular classes of infinite-state system models, and state-based information flow properties for programs.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659301315\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783659301315","offer_id":39448630919261,"sku":"9783659301315","price":71.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/92a2b862-b15f-40b8-bff1-682ddcc11f60.jpg?v=1772777176","url":"https:\/\/shop.autorenwelt.de\/products\/model-checking-infinite-state-systems-for-information-flow-security-von-raghavendra-k-r","provider":"Autorenwelt Shop","version":"1.0","type":"link"}