1875 search results - page 3 / 375 » Automatic Network Protocol Analysis |
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
STACS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
NETWORKING
2004
13 years 6 months ago
2004
ACSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
LCN
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper investigates the problem of how to improve TCP performance in multi-rate Ad-hoc networks with congested links. To improve network performance, different rate adaptation...