1123 search results - page 67 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
121
click to vote
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
CALLAWAY, ROBERT DAVID. An Autonomic Service Delivery Platform for Service-Oriented Network Environments. (Under the direction of Michael Devetsikiotis and Yannis Viniotis.) Servi...
101
click to vote
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
106
click to vote
ICDCSW
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...
118
click to vote
FM
1997
Springer
15 years 4 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...