Techniques for Network Protocols, as applied to TCP, UDP, and Sockets Steve...  Home/Search
Context
Related
| cl.cam.ac.uk/~pes20/Netsem/paper.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the specifications are typically informal, and hence inevitably contain ambiguities. Conformance testing against such specifications is challenging. (Update)
Active bibliography (related documents): More All
3.3: TCP, UDP, and Sockets: - Rigorous And Experimentally-Validated (Correct)
2.9: Engineering with Logic: HOL Specification and - Symbolic-Evaluation Testing For (Correct)
0.8: Timing UDP: Mechanized Semantics for Sockets.. - Wansbrough.. (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ network-rigorous,
author = "Techniques For Network",
title = "Rigorous Specification and Conformance Testing",
url = "citeseer.ist.psu.edu/763832.html" }
Citations (may not include all citations):592 Introduction to HOL: a theorem proving environment (context) - Gordon, Melham - 1993
164 IEEE Std (context) - The - 2001
91 Automated packet trace analysis of TCP implementations - Paxson - 1997
49 The Objective-Caml System (context) - Leroy - 2004
35 Specifications and proofs for Ensemble layers - Hickey, Lynch et al. - 1999
30 A structured TCP in standard ML - Biagioni - 1994
19 A readable TCP in the Prolac protocol language - Kohler, Kaashoek et al. - 1999
17 Generating efficient protocol code from an abstract specific.. - Castelluccia, Dabbous et al. - 1997
16 The UDP calculus: Rigorous semantics for real networking - Serjantov, Sewell et al. - 2001
14 Networking APIs: Sockets and XTI (context) - Stevens, Programming - 1998
13 What packets may come: automata for network monitoring - Bhargavan, Chandra et al. - 2001
12 Formal verification of communication protocols - Smith - 1996
11 TCPIP Illustrated Vol (context) - Stevens, Illustrated et al. - 1995
11 TCPIP Illustrated Vol (context) - IP, The - 1994
10 Formal verification of standards for distance vector routing.. - Bhargavan, Obradovic et al. - 2002
8 Model checking large network protocol implementations - Musuvathi, Engler - 2004
8 Design guidelines for robust internet protocols - Anderson, Shenker et al. - 2003
7 Timing UDP: mechanized semantics for sockets (context) - Wansbrough, Norrish et al. - 2002
5 Verification and improvement of the sliding window protocol - Chkliaev, Hooman et al. - 2003
4 Abruptly-terminated connections in TCP -- a verification exa.. - Schieferdecker - 1996
4 Abstraction of communication channels in Promela: A case stu.. - Fersman, Jonsson - 2000
3 Stenning's protocol implemented in UDP and verified in Isabe.. (context) - Compton - 2005
3 Verifying network protocol implementations by symbolic refin.. - Alur, Wang - 2001
2 and feasible: reflections on formal treatments of C and UDP .. (context) - Norrish, Sewell et al. - 2002
2 Specification driven monitoring TCPIP (context) - Lemmen, monitoring et al. - 2000
2 On inferring TCP behaviour (context) - Padhye, Floyd - 2001
2 automated network validation library (context) - IxANVL, --- - 2005
2 Formal specification and verification of safety and performa.. (context) - Smith, Ramakrishnan - 2002
2 RFC2398: Some testing tools for TCP implementors (context) - Parker, Schmechel - 1998
2 A Graph Model Analysis of Computer Communications Protocols (context) - Postel - 1974
2 On defining the service provided by TCP (context) - Billington, Han - 2003
2 high-performance networks with the Nuprl proof development s.. (context) - Kreitz - 2004
1 Service specification and protocol construction for the tran.. (context) - Murphy, Shankar - 1988
1 A verified connection management protocol for the transport .. (context) - Murphy, Shankar - 1987
1 and Sockets: rigorous and experimentally-validated behaviour.. (context) - Bishop, Fairbairn et al. - 2005
http://www.insecure.org/nmap/
http://hol.sourceforge.net/
http://isabelle.in.tum.de/
Documents on the same site (http://www.cl.cam.ac.uk/~pes20/): More
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC