1123 search results - page 25 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
123
click to vote
CN
2004
14 years 11 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
ICDCSW
2000
IEEE
15 years 3 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
APNOMS
2007
Springer
15 years 6 months ago
2007
Springer
Most of Voice over IP(VoIP) systems are deployed using SIP protocol and based in a client-server architecture. A lot of people and companies could be benefited if the system did n...
RAID
2004
Springer
15 years 5 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
TJS
2002
14 years 11 months ago
2002
: With the ever-increasing demands on server applications, reliability is of paramount importance. Often these services are implemented using a distributed server cluster architect...