The SCEAS System
Navigation Menu

Search the dblp DataBase


Sebastian Nanz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002