TCP

TCP

Cached

Download Links

[www.cl.cam.ac.uk]

by Tom Ridge , Michael Norrish , Peter Sewell

BibTeX

@MISC{Ridge_tcp,
    author = {Tom Ridge and Michael Norrish and Peter Sewell},
    title = {TCP},
    year = {}
}

Bookmark

OpenURL

Abstract

rigorous approach to networking:

Citations

125	and backward simulations. Part I: Untimed systems - Lynch, Vaandrager, et al. - 1995
50	Generating efficient protocol code from an abstract specification - Castelluccia, Dabbous, et al. - 1997
41	A structured TCP in Standard ML - Biagioni - 1994
37	A readable tcp in the prolac protocol language - Kohler, Kaashoek, et al. - 1999
28	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives - Li, Zdancewic - 2007
26	Rigorous specification and conformance testing techniques for network protocols, as applied to tcp, udp, and sockets - Bishop, Fairbairn, et al. - 2005
22	Formal verification of communication protocols - Smith - 1996
20	Verification and improvement of the sliding window protocol - Chkliaev, Hooman, et al. - 2003
19	K.: Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations - Bishop, Fairbairn, et al. - 2006
19	Timing UDP: Mechanized semantics for sockets, threads, and failures - Wansbrough, Norrish, et al.
18	Verifying network protocol implementations by symbolic refinement checking - Alur, Wang - 2001
18	The UDP calculus: Rigorous semantics for real networking - Serjantov, Sewell, et al. - 2001
13	Rigour is good for you, and feasible: reflections on formal treatments of C and UDP sockets - Norrish, Sewell, et al. - 2002
13	Formal Specification and Verification of Safety and Performance of TCP Selective Acknowledgment - Smith, Ramakrishnan - 2002
11	A Graph Model Analysis of Computer Communications Protocols - Postel - 1974
10	Abstraction of communication channels in Promela: A case study - Fersman, Jonsson - 2000
9	Service specification and protocol construction for the transport layer - Murphy, Shankar - 1988
8	A verified connection management protocol for the transport layer - Murphy, Shankar - 1987
7	Specification-driven monitoring of TCP/IP - Hofmann, Lemmen - 2000
6	On defining the service provided by TCP - Billington, Han - 2003
4	2006. Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.The - Biltcliffe, Dales, et al. - 2005
2	Abruptly-terminated connections in TCP - Schieferdecker - 1996