533 search results - page 32 / 107 » Verification of Distributed Firewalls |
DC
2000
13 years 9 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
ESORICS
2008
Springer
13 years 11 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
AINA
2008
IEEE
14 years 4 months ago
2008
IEEE
When traditional firewall and intrusion detection systems (IDS) are used to detect possible attacks from the network, they often make wrong decisions and block the legitimate conn...
NOSSDAV
2004
Springer
14 years 3 months ago
2004
Springer
A large number of overlay multicast protocols have been developed, almost all of which assume universal connectivity between end hosts. However, in reality, this assumption is not...
SASN
2003
ACM
14 years 3 months ago
2003
ACM
We present a security design for a general purpose, selforganizing, multihop ad hoc wireless network, based on the IEEE 802.15.4 low-rate wireless personal area network standard. ...