Model-checking infinite state systems for information flow security

Model-checking infinite state systems for information flow security


Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

₹ 4,165

Availability: Out of stock


Delivery :

5% Cashback on all Orders paid using MobiKwik Wallet T&C

Free Krispy Kreme Voucher on all Orders paid using UltraCash Wallet T&C
Product Out of Stock Subscription

(Notify me when this product is back in stock)

  • Product Description

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.

Product Specifications
SKU :COC75362
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08
0 Review(s)