Policy validation for system automation: A case study
- Emmanuel Zarpas
- Cindy Eisner
- et al.
- 2008
- POLICY 2008
Conference paper
Publications
7 results at POLICY 2008
An algebra for integration and analysis of Ponder2 policies
- Hang Zhao
- Jorge Lobo
- et al.
- 2008
- POLICY 2008
Conference paperHow to enable policy-based interactions in dynamic wireless networks?
- Chi-Kin Chau
- Jon Crowcroft
- et al.
- 2008
- POLICY 2008
Conference paperPolicy enabled ITA sensor fabric a distributed framework for the validation of experimental algorithms using real and simulated sensors
- Flávio Bergamaschi
- Dave Conway-Jones
- et al.
- 2008
- POLICY 2008
Conference paperC2: The case for a network configuration checking language
- Jorge Lobo
- Vasileios Pappas
- 2008
- POLICY 2008
Conference paperEXAM: An environment for access control policy analysis and management
- Prathima Rao
- Dan Lin
- et al.
- 2008
- POLICY 2008
Conference paperThe coalition policy management portal for policy authoring, verification, and deployment
- Carolyn Brodie
- David George
- et al.
- 2008
- POLICY 2008
Conference paper