1123 search results - page 65 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
123
click to vote
ICNP
1999
IEEE
15 years 4 months ago
1999
IEEE
While the IP unicast service has proven successful, extending end-to-end adaptation to multicast has been a difficult problem. Unlike the unicast case, multicast protocols must su...
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
Recent years, many efficient data dissemination protocols for mobile sinks in large scale sensor networks are currently under developed by researchers. In this paper we propose CO...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
127
click to vote
FMICS
2010
Springer
15 years 1 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...