Andere Kunden interessierten sich auch für
![Machine Learning Approaches for Disease State Classification]( "Machine Learning Approaches for Disease State Classification")
Machine Learning Approaches for Disease State Classification26,99 €![Study of turbulent flow structure in the proximity of braided bar]( "Study of turbulent flow structure in the proximity of braided bar")
Study of turbulent flow structure in the proximity of braided bar23,99 €![Deep Reinforcement Learning State of the art]( "Deep Reinforcement Learning State of the art")
Deep Reinforcement Learning State of the art30,99 €![Security Enhancement of Java RMI in Distributed Systems]( "Security Enhancement of Java RMI in Distributed Systems")
Security Enhancement of Java RMI in Distributed Systems26,99 €![Towards Formalizing Transition Membrane systems to Turing Model]( "Towards Formalizing Transition Membrane systems to Turing Model")
Towards Formalizing Transition Membrane systems to Turing Model40,99 €![Security of Biometric Systems]( "Security of Biometric Systems")
Security of Biometric Systems45,99 €![Privacy Concerns in Android Advertising Libraries]( "Privacy Concerns in Android Advertising Libraries")
Privacy Concerns in Android Advertising Libraries34,99 €
Information 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.