11:00-12:00 Joshua Guttman Invited Speaker
12:00-12:30
 
Tigran Avanesov, Yannick Chevalier,
Michael Rusinowitch and Mathieu Turuani
Solving negative intruder constraints
-Application to services composition with non-disclosure policies
12:30-14:15 Lunch
14:15-15:15 Carsten Schuermann Invited Speaker
15:15-15:45
 
Salman Saghafi, Timothy Nelson
and Daniel Dougherty
Geometric Logic for Policy Analysis
15:45-16:30 Coffee break
16:30-17:00
 
Zhiqiang Ren and Hongwei Xi A Programmer-Centric Approach to Program Verification in ATS
17:00-17:30
 
Michel St-Martin and Amy Felty A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules

Proceedings