POLICY 2011: Pisa, Italy

Session 1: Policy Models and Languages

• Romuald Thion, Daniel Le Métayer:
  FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules. 1-8
  
• Wuliang Sun, Robert B. France, Indrakshi Ray:
  Rigorous Analysis of UML Access Control Policy Models. 9-16
  
• Byung H. Park, Thomas J. Naughton, Pratul K. Agarwal, David E. Bernholdt, Al Geist, Jennifer L. Tippens:
  Realization of User Level Fault Tolerant Policy Management through a Holistic Approach for Fault Correlation. 17-24
  
• Fatih Turkmen, Eunjin Jung, Bruno Crispo:
  Towards Run-Time Verification in Access Control. 25-32
  

Session 2: Applications

• Sören Bleikertz, Thomas Groß:
  A Virtualization Assurance Language for Isolation and Deployment. 33-40
  
• Ismaeel Al Ridhawi, Nancy Samaan, Ahmed Karmouch:
  A Policy-Based Simulator for Assisted Adaptive Vertical Handover. 41-48
  
• Bong-Jun Ko, Starsky H. Y. Wong, Kang-Won Lee, Chi-Kin Chau:
  Distributed Overlay Construction to Support Policy-Based Access Control. 49-56
  
• Sara Hachem, Alessandra Toninelli, Animesh Pathak, Valérie Issarny:
  Policy-Based Access Control in Mobile Social Ecosystems. 57-64
  
• Gorrell P. Cheek, Mohamed Shehab, Truong Ung, Ebonie Williams:
  iLayer: Toward an Application Access Control Framework for Content Management Systems. 65-72
  
• Ahmed A. Ataullah, Frank Wm. Tompa:
  Lifecycle Management of Relational Records for External Auditing and Regulatory Compliance. 73-80
  
• Molka Gharbaoui, Francesco Paolucci, Barbara Martini, Filippo Cugini, Piero Castoldi:
  Behavior-Based Policies for Preserving Confidentiality in PCE-based Multi-domain MPLS Networks. 81-88
  

Session 3: Privacy and Security

• Nataliia Bielova, Fabio Massacci:
  Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies. 89-96
  
• Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing:
  Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies. 97-104
  
• Achim D. Brucker, Helmut Petritsch:
  A Framework for Managing and Analyzing Changes of Security Policies. 105-112
  

Short Papers Session 1

• Z. Cliffe Schreuders, Christian Payne, Tanya McGill:
  A Policy Language for Abstraction and Automation in Application-Oriented Access Controls: The Functionality-Based Application Confinement Policy Language. 113-116
  
• Steve Barker, Gillian Lowen:
  GPF: A General Policy Framework. 117-120
  
• Sebastian Speiser:
  Policy of Composition ? Composition of Policies. 121-124
  
• Ron Banner, Omer Barkol, Ruth Bergman, Shahar Golan, Yuval Carmel, Ido Ish-Hurwitz, Oded Zilinsky:
  Automatic Policy Rule Extraction for Configuration Management. 125-128
  

Short Papers Session 2

• Guillaume Benats, Arosha K. Bandara, Yijun Yu, Jean-Noel Colin, Bashar Nuseibeh:
  PrimAndroid: Privacy Policy Modelling and Analysis for Android Applications. 129-132
  
• Sören Preibusch:
  Information Flow Control for Static Enforcement of User-Defined Privacy Policies. 133-136
  
• Marco Casassa Mont, Richard Brown:
  Risk Assessment and Decision Support for Security Policies and Related Enterprise Operational Processes. 137-140
  

Short Papers Session 3

• Oshani Seneviratne, Lalana Kagal:
  Addressing Data Reuse Issues at the Protocol Level. 141-144
  
• Wonjun Lee, Anna Cinzia Squicciarini, Elisa Bertino:
  Profile-Based Selection of Accountability Policies in Grid Computing Systems. 145-148
  
• Ashish Gehani, Dawood Tariq, Basim Baig, Tanu Malik:
  Policy-Based Integration of Provenance Metadata. 149-152
  
• Nicola Dragoni, Eduardo Lostal, Olga Gadyatskaya, Fabio Massacci, Federica Paci:
  A Load Time Policy Checker for Open Multi-application Smart Cards. 153-156
  
• Mark R. Beaumont, Chris J. North, Bradley D. Hopkins, Ken Yiu:
  Hard Disk Guard Based Policy Enforcement. 157-160
  
• Yurdaer N. Doganata, Keith Grueneberg, John Karat, Nirmal Mukhi:
  Authoring and Deploying Business Policies Dynamically for Compliance Monitoring. 161-164
  
• Patricia Dockhorn Costa, João Paulo A. Almeida, Igor Magri Vale, Izon Thomaz Mielke:
  A Model-Driven Approach for Incorporating Reactive Rules in Declarative Interactive TV Applications. 165-168
  

Poster and Demo Session

• Hasan T. Karaoglu, Murat Yuksel:
  Inter-domain Multi-Hop Negotiation for the Internet. 169-170
  
• Wenjia Li, Pramod Jagtap, Rosa Laura Zavala Gutierrez, Anupam Joshi, Tim Finin:
  CARE-CPS: Context-Aware Trust Evaluation for Wireless Networks in Cyber-Physical System Using Policies. 171-172
  
• Mike Conway, Reagan Moore, Arcot Rajasekar, Jean-Yves Nief:
  Demonstration of Policy-Guided Data Preservation Using iRODS. 173-174
  
• Mihaela Ion, Giovanni Russello, Bruno Crispo:
  Enforcing Multi-user Access Policies to Encrypted Cloud Databases. 175-177
  
• Keith Grueneberg, David Wood, Xiping Wang, Seraphin B. Calo, Maroun Touma:
  Policy Supersession in a Coalition ISR Network. 178-179
  
• Mahmoud Ghorbel, Armen Aghasaryan, Marie-Pascale Dupont, Stéphane Betgé-Brezetz, Guy-Bertrand Kamga, Sophie Piekarec:
  A Multi-environment Application of Privacy Data Envelopes. 180-181
  
• Daniel Trivellato, Nicola Zannone, Sandro Etalle:
  A Security Framework for Systems of Systems. 182-183
  
• Slim Trabelsi, Jakub Sendor, Stefanie Reinicke:
  PPL: PrimeLife Privacy Policy Engine. 184-185
  
• Nicola Dragoni, Eduardo Lostal, Davide Papini:
  (SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards. 186-187
  
• Qinghua Lu, Vladimir Tosic:
  Using MiniZnMASC Middleware with Different Algorithms for Business-Driven Adaptation of Business Processes. 188-190
  
• Antonio Manuel Gutiérrez, José Antonio Parejo, Pablo Fernandez, Antonio Ruiz Cortés:
  WS-Governance Tooling: SOA Governance Policies Analysis and Authoring. 191-192
  

Last update Fri May 25 08:32:57 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page