4305 search results - page 36 / 861 » Analysing Protocol Implementations |
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
ETM
2010
13 years 10 months ago
2010
Re-inserted ECN (re-ECN) is a proposed TCP/IP extension that informs the routers on a path about the estimated level of congestion. The re-ECN protocol extends the Explicit Congest...
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper describes design and implementation of L ATM, an ATM (Asynchronous Transfer Mode) based networking server. While ATM emphasizes deterministic highspeed communication, a...
DSN
2004
IEEE
14 years 15 days ago
2004
IEEE
The goal of this paper is to assess the value of simple features that are widely available in off-the-shelf CORBA and Java platforms for the implementation of faulttolerance mecha...
ICISS
2009
Springer
14 years 3 months ago
2009
Springer