POLICY 2008: Palisades, New York, USA

Policy Inspection

• Gail-Joon Ahn, Wenjuan Xu, Xinwen Zhang:
  Systematic Policy Analysis for High-Assurance Services in SELinux. 3-10
  
• Piero A. Bonatti, Fabio Mogavero:
  Comparing Rule-Based Policies. 11-18
  
• Taghrid Samak, Ehab Al-Shaer, Hong Li:
  QoS Policy Modeling and Conflict Analysis. 19-26
  

Policy Validation

• Jorge Lobo, Vasileios Pappas:
  C²: The Case for a Network Configuration Checking Language. 29-36
  
• Ramide Dantas, Joseane Farias Fidalgo, Djamel Sadok, Carlos Alberto Kamienski, Börje Ohlman:
  Policies for the Management of Ambient Networks: From Theory to Practice. 37-45
  
• Emmanuel Zarpas, Cindy Eisner, Sivan Tal:
  Policy Validation for System Automation: A Case Study. 46-53
  
• Lalana Kagal, Chris Hanson, Daniel J. Weitzner:
  Using Dependency Tracking to Provide Explanations for Policy Management. 54-61
  

Short Papers I: Policy Specification and Visualization

• John Keeney, Owen Conlan, Declan O'Sullivan, David Lewis, Vincent Wade:
  Towards the Visualisation of Collaborative Policy Decomposition. 65-69
  
• Fredrik Seehusen, Ketil Stølen:
  A Transformational Approach to Facilitate Monitoring of High-Level Policies. 70-73
  
• Hang Zhao, Jorge Lobo, Steven M. Bellovin:
  An Algebra for Integration and Analysis of Ponder2 Policies. 74-77
  
• Cataldo Basile, Alberto Cappadonia, Antonio Lioy:
  Geometric Interpretation of Policy Specification. 78-81
  
• Steven Davy, Brendan Jennings, John Strassner:
  Using an Information Model and Associated Ontology for Selection of Policies for Conflict Analysis. 82-85
  

Short Papers II: Policy Modeling and Analysis

• Anna Cinzia Squicciarini, Marco Casassa Mont, Abhilasha Bhargav-Spantzel, Elisa Bertino:
  Automatic Compliance of Privacy Policies in Federated Digital Identity Management. 89-92
  
• Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri:
  PEP = Point to Enhance Particularly. 93-96
  
• Yathiraj B. Udupi, Munindar P. Singh:
  Design Patterns for Policy-Based Service Engagements. 97-100
  
• Nima Kaviani, Dragan Gasevic, Milan Milanovic, Marek Hatala, Bardia Mohabbati:
  Model-Driven Engineering of a General Policy Modeling Language. 101-104
  
• Alexander Poylisher, Ritu Chadha:
  PBNM Technology Evaluation: Practical Criteria. 105-108
  

Policy Enforcement

• Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan:
  Concurrent Enforcement of Usage Control Policies. 111-118
  
• David M. Eyers, Sriram Srinivasan, Ken Moody, Jean Bacon:
  Compile-Time Enforcement of Dynamic Security Policies. 119-126
  
• Ramaswamy Chandramouli:
  Policy Specification and Enforcement for Smart ID Cards Deployment. 127-134
  

Policy-Based Management

• Jatinder Singh, Luis Vargas, Jean Bacon, Ken Moody:
  Policy-Based Information Sharing in Publish/Subscribe Middleware. 137-144
  
• Andrzej Uszok, Jeffrey M. Bradshaw, James Lott, Maggie R. Breedy, Larry Bunch, Paul J. Feltovich, Matthew Johnson, Hyuckchul Jung:
  New Developments in Ontology-Based Policy Management: Increasing the Practicality and Comprehensiveness of KAoS. 145-152
  
• Giovanni Russello, Changyu Dong, Naranker Dulay:
  Consent-Based Workflows for Healthcare Management. 153-161
  
• Ricardo Neisse, Patricia Dockhorn Costa, Maarten Wegdam, Marten van Sinderen:
  An Information Model and Architecture for Context-Aware Management Domains. 162-169
  

Sharing & Privacy

• Daniel D. Walker, Eric G. Mercer, Kent E. Seamons:
  Or Best Offer: A Privacy Policy Negotiation Protocol. 173-180
  
• Lei Zhang, Alexander Brodsky, Vipin Swarup, Sushil Jajodia:
  A Framework for Maximizing Utility of Sanitized Documents Based on Meta-labeling. 181-188
  
• Zeinab Iranmanesh, Morteza Amini, Rasool Jalili:
  A Logic for Multi-domain Authorization Considering Administrators. 189-196
  

Short Papers III: New Paradigms in Policy-Based Management

• Matthew Johnson, Jeffrey M. Bradshaw, Hyuckchul Jung, Niranjan Suri, Marco M. Carvalho:
  Policy Management across Multiple Platforms and Application Domains. 199-202
  
• Hassine Moungla:
  A Context-Aware, Policy-Based Framework for Ambient Network. 203-206
  
• Juliana Mitchell-Wong, Ryszard Kowalczyk, Quoc Bao Vo:
  Social Network Profile and Policy. 207-210
  
• Kalyani Bogineni, Flemming Andreasen:
  Policy Peering for Next-Generation Networks. 211-214
  
• Abdelnasser Ouda, Hanan Lutfiyya, Michael A. Bauer:
  Towards Self-Configuring Policy-Based Management Systems. 215-218
  
• Chi-Kin Chau, Jon Crowcroft, Kang-Won Lee, Starsky H. Y. Wong:
  How to Enable Policy-Based Interactions in Dynamic Wireless Networks? 219-222
  

Tools

• Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne:
  A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor. 225-227
  
• Juri Luca De Coi, Daniel Olmedilla, Sergej Zerr, Piero A. Bonatti, Luigi Sauro:
  A Trust Management Package for Policy-Driven Protection & Personalization of Web Content. 228-230
  
• Matthew Johnson, Paul J. Feltovich, Jeffrey M. Bradshaw, Larry Bunch:
  Demonstrating Human-Robot Coordination through Dynamic Regulation. 231-232
  
• Andrzej Uszok, Jeffrey M. Bradshaw:
  Demonstrating Selected W3C Policy Languages Interest Group Use Cases Using the KAoS Policy Services Framework. 233-234
  
• Ritu Chadha, Cho-Yu Jason Chiang:
  DRAMA: Distributed Policy Management for MANETs. 235-237
  
• Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo:
  EXAM: An Environment for Access Control Policy Analysis and Management. 238-240
  
• Flávio Bergamaschi, Dave Conway-Jones, Christopher Gibson, Andy Stanford-Clark, Dinesh C. Verma, Seraphin B. Calo, Greg Cirincione, Tiem Pham:
  Policy Enabled ITA Sensor Fabric, A Distributed Framework for the Validation of Experimental Algorithms Using Real and Simulated Sensors. 241-242
  
• Larry Bunch, Jeffrey M. Bradshaw, Clifford O. Young:
  Policy-Governed Information Exchange in a U.S. Army Operational Scenario. 243-244
  
• Kevin P. Twidle, Emil Lupu, Naranker Dulay, Morris Sloman:
  Ponder2 - A Policy Environment for Autonomous Pervasive Systems. 245-246
  
• Carolyn Brodie, David George, Clare-Marie Karat, John Karat, Jorge Lobo, Mandis Beigi, Xiping Wang, Seraphin B. Calo, Dinesh C. Verma, Alberto E. Schaeffer Filho, Emil Lupu, Morris Sloman:
  The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. 247-249