Some problems with the specification of the Military Standard Internet Protocol
Metadata
- Publisher
- IETF
- Doc Type
- Specification
- Pages
- 19
- Abstract
- The purpose of this RFC is to provide helpful information on the Military Standard Internet Protocol (MIL-STD-1777) so that one can obtain a reliable implementation of this protocol. This paper points out several problems in this specification. This note also proposes solutions to these problems.
- Publication Date
- 1985-11-01
- Status Note
- Unknown
- DOI
10.17487/RFC963- Link
- https://doi.org/10.17487/RFC963
- Author(s)
- D.P. Sidhu
Latest version of IETF RFC 963
Document Versions — IETF RFC 963
-
▶ IETF RFC 963 (1985-11-01)THIS DOC [ACTIVE] [LATEST VERSION]
Bibliographic Reference(s)
- Sidhu, D. P., and Blumer, T. P., "Some Problems with the Specification of the Military Standard Transmission Control Protocol," in Protocol Specification, Testing and Verification IV, (ed.) Y. Yemini et al (1984). EXTERNAL
- "Military Standard Transmission Control Protocol," United States Department of Defense, MIL-STD-1778, 12 August 1983. EXTERNAL
- DCEC Protocol Standardization Program: Protocol Specification Report, System Development Corporation, TM-7172/301/00, 29 March 1982 EXTERNAL
- Blumer, T. P., and Sidhu, D. P., "Mechanical Verification and Automatic Implementation of Communication Protocols," to appear in IEEE Trans. Softw. Eng. EXTERNAL
- Military Standard Ada(R) Programming Language, United States Department of Defense, ANSI/MIL-STD-1815A-1983, 22 January 1983 EXTERNAL
- "Military Standard Internet Protocol," United States Department of Defense, MIL-STD-1777, 12 August 1983. EXTERNAL
- Blumer, T. P., and Tenney, R. L., "A Formal Specification Technique and Implementation Method for Protocols," Computer Networks, Vol. 6, No. 3, July 1982, pp. 201-217. EXTERNAL
- Sidhu, D. P., and Blumer, T. P., "Verification of NBS Class 4 Transport Protocol," to appear in IEEE Trans. Comm. Some Problems with MIL-STD IP EXTERNAL
- IETF RFC 791 [Active*]
Source Data (JSON)
Full registry record with provenance metadata. Open directly: /api/doc/RFC963.json
Reference Tree
Explore all references and references to this document, as a navigable tree.
Open Reference TreeReference this Doc
Plain text (ISO 690 compliant)
Preview:
IETF RFC 963, Some problems with the specification of the Military Standard Internet Protocol. Available at https://doi.org/10.17487/RFC963
Snippet:
IETF RFC 963, Some problems with the specification of the Military Standard Internet Protocol. Available at https://doi.org/10.17487/RFC963
HTML (ISO 690 compliant)
Preview:
IETF RFC 963, Some problems with the specification of the Military Standard Internet Protocol. Available at https://doi.org/10.17487/RFC963
Snippet:
<span class="citation"><cite>IETF RFC 963</cite>, Some problems with the specification of the Military Standard Internet Protocol. Available at <a href="https://doi.org/10.17487/RFC963" target="_blank" rel="noopener">https://doi.org/10.17487/RFC963</a></span>
SMPTE's HTML Pub
Preview:
IETF RFC 963, Some problems with the specification of the Military Standard Internet Protocol
doi: 10.17487/RFC963
url: https://doi.org/10.17487/RFC963
doi: 10.17487/RFC963
url: https://doi.org/10.17487/RFC963
Snippet:
<li> <cite id="bib-rfc963">IETF RFC 963</cite>, Some problems with the specification of the Military Standard Internet Protocol <span class="doi">10.17487/RFC963</span> </li>
Referenced By
- IETF RFC 1009 [Superseded*]
- IETF RFC 1122 [Active*]