Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Automated Verification of Dynamic Access Control Policies: Modelling and verifying dynamic access control policies using knowled,Used Automated Verification of Dynamic Access Control Policies: Modelling and verifying dynamic access control policies using knowled,Used
Add to wishlist
Quick view
Add to compare
Automated Verification of Dynamic Access Control Policies: Modelling and verifying...
This manuscript advances the modelling and verification of access control policies by using automated knowledgebased symbolic model checking techniques. The key contributions of this manuscript...
Sale price$111.39 Regular price$159.13
Quantity
Add to cart

Recently viewed products