382 search results - page 8 / 77 » Rule-based static analysis of network protocol implementatio... |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—This paper presents a protocol-independent approach to reveal a new insight into the performance of carrier sense multiple access with collision avoidance (CSMA/CA) prot...
MOBIHOC
2002
ACM
15 years 9 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...
SAS
2000
Springer
15 years 1 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
81
Voted
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
74
Voted
TJS
2002
14 years 9 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...