382 search results - page 31 / 77 » Rule-based static analysis of network protocol implementatio... |
120
click to vote
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper analyzes a network-baseddenial of service attack for IP (Internet Protocol) based networks. It is popularly called SYN flooding. It works by an attacker sending many T...
124
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...
151
click to vote
TITB
2010
14 years 8 months ago
2010
A Body Area Network (BAN) is a wireless network of health monitoring sensors designed to deliver personalized health-care. Securing inter-sensor communications within BANs is essen...
104
click to vote
NSDI
2010
15 years 3 months ago
2010
Today's data centers offer tremendous aggregate bandwidth to clusters of tens of thousands of machines. However, because of limited port densities in even the highest-end swi...
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...