SACMAT 2015: Vienna, Austria

Keynote I

Formalism and Analysis

Cloud

Logic and Inference

Keynote II

Access Management

Demonstrations

Trust and Applications

Panel

Permission Management