Search the dblp DataBase

Publications of Author

1. Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz
   Prototyping Proof Carrying Code. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2004, pp:333-348 [Conf]
   
2. Sebastian Nanz, Chris Hankin
   Formal Security Analysis for Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:195-213 [Journal]
   
3. Sebastian Nanz, Chris Hankin
   A framework for security analysis of mobile wireless networks. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:367, n:1-2, pp:203-227 [Journal]
   
4. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
   Topology-Dependent Abstractions of Broadcast Networks. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:226-240 [Conf]
   
5. Moritz Y. Becker, Sebastian Nanz
   A Logic for State-Modifying Authorization Policies. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2007, pp:203-218 [Conf]
   
6. 
   Mobility Models and Behavioural Equivalence for Wireless Networks. [Citation Graph (, )][DBLP]
   
   
7. 
   The Role of Abduction in Declarative Authorization Policies. [Citation Graph (, )][DBLP]
   
   
8. 
   Modal Abstractions of Concurrent Behaviour. [Citation Graph (, )][DBLP]
   
   
9. 
   Goal-Oriented Composition of Services. [Citation Graph (, )][DBLP]