1875 search results - page 17 / 375 » Automatic Network Protocol Analysis |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, a reliability analysis is carried out to state a performance comparison between two recently proposed proactive routing algorithms. These protocols are able to scale...
TJS
2002
13 years 7 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...
MOBIHOC
2002
ACM
14 years 7 months ago
2002
ACM
: Mobile ad-hoc networking works properly only if the participating nodes cooperate in routing and forwarding. However, it may be advantageous for individual nodes not to cooperate...
SSS
2009
Springer
14 years 2 months ago
2009
Springer
We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem prov...
IFIP
2004
Springer
14 years 29 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...