SACMAT 2017: Indianapolis, IN, USA

Keynote Address I

Authorization and Authentication

Applications

Policy Models and Frameworks

Posters

Keynote Address II

Formal Techniques I

Demonstrations

Formal Techniques II

Short Papers

maintained by Schloss Dagstuhl LZI at University of Trier