Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Model checking tracebased information flow properties: For finite state systems and pushdown systems,Used Model checking tracebased information flow properties: For finite state systems and pushdown systems,Used
Add to wishlist
Quick view
Add to compare
Model checking tracebased information flow properties: For finite state systems...
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...
Sale price$82.28 Regular price$117.54
Quantity
Add to cart

Recently viewed products