| |
| 2007 | ||
|---|---|---|
| 3 | EE | David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç: Specifying and analyzing security automata using CSP-OZ. ASIACCS 2007: 70-81 |
| 2 | EE | Paul E. Sevinç, Mario Strasser, David A. Basin: Securing the Distribution and Storage of Secrets with Trusted Platform Modules. WISTP 2007: 53-66 |
| 2006 | ||
| 1 | EE | Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog: Controlling Access to Documents: A Formal Access Control Model. ETRICS 2006: 352-367 |
| 1 | David A. Basin | [1] [2] [3] |
| 2 | Ernst-Rüdiger Olderog | [1] [3] |
| 3 | Mario Strasser | [2] |