| 2008 |
|---|
| 8 | EE | Moritz Y. Becker,
Sebastian Nanz:
The Role of Abduction in Declarative Authorization Policies.
PADL 2008: 84-99 |
| 7 | EE | Sebastian Nanz,
Flemming Nielson,
Hanne Riis Nielson:
Modal Abstractions of Concurrent Behaviour.
SAS 2008: 159-173 |
| 6 | EE | Sebastian Nanz,
Terkel K. Tolstrup:
Goal-Oriented Composition of Services.
Software Composition 2008: 109-124 |
| 2007 |
|---|
| 5 | EE | Sebastian Nanz,
Flemming Nielson,
Hanne Riis Nielson:
Topology-Dependent Abstractions of Broadcast Networks.
CONCUR 2007: 226-240 |
| 4 | EE | Moritz Y. Becker,
Sebastian Nanz:
A Logic for State-Modifying Authorization Policies.
ESORICS 2007: 203-218 |
| 2006 |
|---|
| 3 | EE | Sebastian Nanz,
Chris Hankin:
Formal Security Analysis for Ad-Hoc Networks.
Electr. Notes Theor. Comput. Sci. 142: 195-213 (2006) |
| 2 | EE | Sebastian Nanz,
Chris Hankin:
A framework for security analysis of mobile wireless networks.
Theor. Comput. Sci. 367(1-2): 203-227 (2006) |
| 2004 |
|---|
| 1 | | Martin Wildmoser,
Tobias Nipkow,
Gerwin Klein,
Sebastian Nanz:
Prototyping Proof Carrying Code.
IFIP TCS 2004: 333-348 |
