Search Constraints
Search Results
Select an image to start the slideshow
Multi-Decision Policy and Policy Combinator Specifications
1 of 4
Data Sharing on Untrusted Storage with Attribute-Based Encryption
2 of 4
Margrave: An Improved Analyzer for Access-Control and Configuration Policies
3 of 4
Formalization and Verification of Rewriting-Based Security Polices
4 of 4