Searching for authors named "Sebastian Nanz" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Specification and Security Analysis of Mobile Ad-Hoc Networks
- … Specification and Security Analysis of Mobile Ad-Hoc Networks Sebastian Nanz May 2006 Submitted in partial…
- Cited by 1 (0 self) – Add To MetaCart
-
A framework for security analysis of mobile wireless networks
- …A Framework for Security Analysis of Mobile Wireless Networks Sebastian Nanz Chris Hankin…
- Cited by 8 (0 self) – Add To MetaCart
-
Static Analysis of Routing Protocols for Ad-Hoc Networks
- …Static Analysis of Routing Protocols for Ad-Hoc Networks Sebastian Nanz ⋆ Chris Hankin Department…
- Cited by 2 (2 self) – Add To MetaCart
-
Prototyping Proof Carrying Code
- …, Sydney gerwin.klein@(email omitted); Sebastian Nanz ∗ Yale University, Department of Computer Science nanz…
- Cited by 8 (2 self) – Add To MetaCart
-
S.: The role of abduction in declarative authorization policies
- …The Role of Abduction in Declarative Authorization Policies Moritz Y. Becker 1 and Sebastian Nanz…
- Cited by 1 (0 self) – Add To MetaCart
-
S.: A logic for state-modifying authorization policies
- …A Logic for State-Modifying Authorization Policies Moritz Y. Becker 1 and Sebastian Nanz 2 1…
- Cited by 6 (2 self) – Add To MetaCart
-
Topology-dependent abstractions of broadcast network
- …Topology-dependent Abstractions of Broadcast Networks Sebastian Nanz, Flemming Nielson, and Hanne…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
