SACMAT 2011: Innsbruck, Austria

Keynote address

• David A. Basin, Manuel Clavel, Marina Egea:
  A decade of model-driven security. 1-10
  

Distributed processing and access control

• Anne Baumgrass, Mark Strembeck, Stefanie Rinderle-Ma:
  Deriving role engineering artifacts from business processes and scenario models. 11-20
  
• Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, Uwe Zdun, Schahram Dustdar:
  An integrated approach for identity and access management in a SOA context. 21-30
  
• Masoom Alam, Xinwen Zhang, Kamran Khan, Gohar Ali:
  xDAuth: a scalable and lightweight framework for cross domain access control and delegation. 31-40
  

Policy languages

• Glenn Bruns, Michael Huth, Kumar Avijit:
  Program synthesis in administration of higher-order permissions. 41-50
  
• Philip W. L. Fong, Ida Siahaan:
  Relationship-based access control policies and their policy languages. 51-60
  
• Qun Ni, Elisa Bertino:
  xfACL: an extensible functional language for access control. 61-72
  

Logic programming based access control specification

• Srdjan Marinovic, Robert Craven, Jiefei Ma, Naranker Dulay:
  Rumpole: a flexible break-glass access control model. 73-82
  
• Prasad Naldurg, Raghavendra K. R.:
  SEAL: a logic programming framework for specifying and verifying access control models. 83-92
  

Data flow and access control

• Tyrone Cadenhead, Vaibhav Khadilkar, Murat Kantarcioglu, Bhavani M. Thuraisingham:
  Transforming provenance using redaction. 93-102
  
• Qihua Wang, Hongxia Jin:
  Data leakage mitigation for discretionary access control in collaboration clouds. 103-112
  
• Ting Wang, Mudhakar Srivatsa, Dakshi Agrawal, Ling Liu:
  Modeling data flow in socio-information networks: a risk estimation approach. 113-122
  

Applications

• Sitaram Chamarty, Hiren D. Patel, Mahesh V. Tripunitara:
  An authorization scheme for version control systems. 123-132
  
• Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff:
  An approach to modular and testable security models of real-world health-care applications. 133-142
  

System Demonstrations

• Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta:
  Security validation tool for business processes. 143-144
  
• Youngja Park, Stephen C. Gates, Wilfried Teiken, Suresh Chari:
  System for automatic estimation of data sensitivity with applications to access control and other applications. 145-146
  
• Ganna Monakova, Andreas Schaad:
  Visualizing security in business processes. 147-148
  
• Matthew Hudnall, Maury Mitchell, Allen S. Parrish:
  Access control for a federated police information system. 149-150
  
• Enrico Lovat, Alexander Pretschner:
  Data-centric multi-layer usage control enforcement: a social network example. 151-152
  

Panel

• Robert W. Reeder:
  Usable access control for all. 153-154
  

Policy analysis and obligations

• Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh:
  Validation of security policies by the animation of Z specifications. 155-164
  
• Hongxin Hu, Gail-Joon Ahn, Ketan Kulkarni:
  Anomaly discovery and resolution in web access control policies. 165-174
  
• Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin:
  On the management of user obligations. 175-184
  

Last update Tue May 21 00:05:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page