2162 search results - page 102 / 433 » A Meta-Notation for Protocol Analysis |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
MMB
2001
Springer
14 years 1 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...
NEW2AN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. There is ongoing work on the IETF aimed to provide support for different flavors of multihoming configurations, such as SHIM6 for multihomed sites, multiple CoAs suppo...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
HOTI
2005
IEEE
14 years 2 months ago
2005
IEEE
Sockets Direct Protocol (SDP) is a byte-stream transport protocol implementing the TCP SOCK_STREAM semantics utilizing transport offloading capabilities of the InfiniBand fabric. ...