 | 2007 |
|---|
| 6 |       | Jan Peters,
Roland Rieke,
Taufiq Rochaeli,
Björn Steinemann,
Ruben Wolf:
A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS.
Electr. Notes Theor. Comput. Sci. 168: 143-157 (2007) |
| 2006 |
|---|
| 5 | | Roland Rieke:
Modelling and Analysing Network Security Policies in a Given Vulnerability Setting.
CRITIS 2006: 67-78 |
| 2000 |
|---|
| 4 |  | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke:
The SH-Verification Tool.
FLAIRS Conference 2000: 18-22 |
| 3 | | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke:
Verification of Cooperating Systems - An Approach Based on Formal Languages.
FLAIRS Conference 2000: 346-350 |
| 2 | | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke:
Abstraction and composition: a verification method for co-operating systems.
J. Exp. Theor. Artif. Intell. 12(4): 447-459 (2000) |
| 1998 |
|---|
| 1 | | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke,
Ulrich Nitsche:
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.
Formal Asp. Comput. 10(4): 381-404 (1998) |
