SACMAT 2007: Sophia Antipolis, France

Policy management

• Dan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo:
  An approach to evaluate policy similarity. 1-10
  Electronic Edition (ACM DL) BibTeX
• Sandro Etalle, William H. Winsborough:
  A posteriori compliance control. 11-20
  Electronic Edition (ACM DL) BibTeX

Access control in novel systems

• Barbara Carminati, Elena Ferrari, Kian-Lee Tan:
  Enforcing access control over data streams. 21-30
  Electronic Edition (ACM DL) BibTeX
• Alex Roichman, Ehud Gudes:
  Fine-grained access control to web databases. 31-40
  Electronic Edition (ACM DL) BibTeX

Privacy management

• Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo:
  Privacy-aware role based access control. 41-50
  Electronic Edition (ACM DL) BibTeX
• Anna Cinzia Squicciarini, Ayça Azgin Hintoglu, Elisa Bertino, Yücel Saygin:
  A privacy preserving assertion based policy language for federation systems. 51-60
  Electronic Edition (ACM DL) BibTeX
• Bogdan Cautis:
  Distributed access control: a privacy-conscious approach. 61-70
  Electronic Edition (ACM DL) BibTeX

Secure operating systems

• Min Xu, Xuxian Jiang, Ravi S. Sandhu, Xinwen Zhang:
  Towards a VMM-based usage control framework for OS kernel integrity protection. 71-80
  Electronic Edition (ACM DL) BibTeX
• Trent Jaeger, Reiner Sailer, Yogesh Sreenivasan:
  Managing the risk of covert information flows in virtual machine systems. 81-90
  Electronic Edition (ACM DL) BibTeX
• Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick Drew McDaniel:
  A logical specification and analysis for SELinux MLS policy. 91-100
  Electronic Edition (ACM DL) BibTeX

Consistency enforcement and secure grids

• Adam J. Lee, Kazuhiro Minami, Marianne Winslett:
  Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees. 101-110
  Electronic Edition (ACM DL) BibTeX
• Paul Z. Kolano:
  Mesh: secure, lightweight grid middleware using existing SSH infrastructure. 111-120
  Electronic Edition (ACM DL) BibTeX

Short papers: high assurance systems

• Glenn Faden:
  Multilevel filesystems in solaris trusted extensions. 121-126
  Electronic Edition (ACM DL) BibTeX
• Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens:
  A formal approach for testing security rules. 127-132
  Electronic Edition (ACM DL) BibTeX
• Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci:
  New constructions for provably-secure time-bound hierarchical key assignment schemes. 133-138
  Electronic Edition (ACM DL) BibTeX
• Dana Zhang, Kotagiri Ramamohanarao, Tim Ebringer:
  Role engineering using graph optimisation. 139-144
  Electronic Edition (ACM DL) BibTeX
• Ram Krishnan, Ravi S. Sandhu, Kumar Ranganathan:
  PEI models towards scalable, usable and high-assurance information sharing. 145-150
  Electronic Edition (ACM DL) BibTeX

Short papers: access control

• He Wang, Sylvia L. Osborn:
  Discretionary access control with the administrative role graph model. 151-156
  Electronic Edition (ACM DL) BibTeX
• Liang Chen, Jason Crampton:
  Inter-domain role mapping and least privilege. 157-162
  Electronic Edition (ACM DL) BibTeX
• Helge Janicke, Antonio Cau, Hussein Zedan:
  A note on the formalisation of UCON. 163-168
  Electronic Edition (ACM DL) BibTeX
• Irini Fundulaki, Sebastian Maneth:
  Formalizing XML access control for update operations. 169-174
  Electronic Edition (ACM DL) BibTeX

Roles and policies

• Jaideep Vaidya, Vijayalakshmi Atluri, Qi Guo:
  The role mining problem: finding a minimal descriptive set of roles. 175-184
  Electronic Edition (ACM DL) BibTeX
• Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher:
  Specifications of a high-level conflict-free firewall policy language for multi-domain networks. 185-194
  Electronic Edition (ACM DL) BibTeX

Novel access control techniques

• Steve Barker:
  Action-status access control. 195-204
  Electronic Edition (ACM DL) BibTeX
• Michael LeMay, Omid Fatemieh, Carl A. Gunter:
  PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. 205-214
  Electronic Edition (ACM DL) BibTeX
• Gail-Joon Ahn, Hongxin Hu:
  Towards realizing a formal RBAC model in real systems. 215-224
  Electronic Edition (ACM DL) BibTeX
• Yasuharu Katsuno, Yuji Watanabe, Sanehiro Furuichi, Michiharu Kudo:
  Chinese-wall process confinement for practical distributed coalitions. 225-234
  Electronic Edition (ACM DL) BibTeX
• Janice Warner, Vijayalakshmi Atluri, Ravi Mukkamala, Jaideep Vaidya:
  Using semantics for automatic enforcement of access control policies among dynamic coalitions. 235-244
  Electronic Edition (ACM DL) BibTeX