1101 search results - page 1 / 221 » On the Security and Vulnerability of PING |
WSS
2001
13 years 6 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
HICSS
2012
IEEE
12 years 10 days ago
2012
IEEE
Security vulnerabilities continue to be an issue in the software field and new severe vulnerabilities are discovered in software products each month. This paper analyzes estimates...
10
Voted
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
CIIT
2004
13 years 6 months ago
2004
Management has become a key concern for the success of multicast deployment in the Internet. One of the most important management tasks for multicast is to verify the availability...
AGENTS
2001
Springer
13 years 9 months ago
2001
Springer