44 search results - page 4 / 9 » Using equivalence-checking to verify robustness to denial of... |
SIGCOMM
1998
ACM
13 years 11 months ago
1998
ACM
Several recent proposals for an “active networks” architecture advocate the placement of user-defined computation within the network as a key mechanism to enable a wide range...
MOBIHOC
2007
ACM
14 years 7 months ago
2007
ACM
Broadcast authentication is an important application in sensor networks. Public Key Cryptography (PKC) is desirable for this application, but due to the resource constraints on se...
TISSEC
2002
13 years 7 months ago
2002
We present a new solution to the problem of determining the path a packet traversed over the Internet (called the traceback problem) during a denial of service attack. Previous so...
ICCD
2004
IEEE
14 years 4 months ago
2004
IEEE
1 Many computer security threats involve execution of unauthorized foreign code on the victim computer. Viruses, network and email worms, Trojan horses, backdoor programs used in ...
ACNS
2008
Springer
14 years 1 months ago
2008
Springer
Peer-to-Peer (P2P) overlay networks are a flexible way of creating decentralized services. Although resilient to external Denial of Service attacks, overlay networks can be render...