Stephen D. Crocker

According to our database¹, Stephen D. Crocker authored at least 54 papers between 1967 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Arpanet and Its Evolution - A Report Card.

[BibT_eX]

[DOI]

Stephen D. Crocker

IEEE Commun. Mag., 2021

2019

The Arpanet and Its Impact on the State of Networking.

[BibT_eX]

[DOI]

Stephen D. Crocker

Computer, 2019

Learning to Network.

[BibT_eX]

[DOI]

Stephen D. Crocker

IEEE Ann. Hist. Comput., 2019

2008

Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet.

[BibT_eX]

[DOI]

Barbara Fraser

Stephen D. Crocker

Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007

DNSSEC: a protocol toward securing the internet infrastructure.

[BibT_eX]

[DOI]

Commun. ACM, 2007

2004

Protecting the Internet from distributed denial-of-service attacks: a proposal.

[BibT_eX]

[DOI]

Stephen D. Crocker

Proc. IEEE, 2004

1994

Randomness Recommendations for Security.

[BibT_eX]

[DOI]

Donald E. Eastlake III

Stephen D. Crocker

Jeffrey I. Schiller

RFC, December, 1994

1993

The Process for Organization of Internet Standards Working Group (POISED).

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, January, 1993

1992

Unwinding and the LOCK Proof Referees Study.

[BibT_eX]

[DOI]

Sandra Rawlings Murphy

Stephen D. Crocker

Timothy Redmond

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

1991

Guidelines for the Secure Operation of the Internet.

[BibT_eX]

[DOI]

Richard D. Pethia

Stephen D. Crocker

Barbara Fraser

RFC, November, 1991

1989

A Proposal for a Verification-Based Virus Filter.

[BibT_eX]

[DOI]

Stephen D. Crocker

Maria Pozzo

Proceedings of the 1989 IEEE Symposium on Security and Privacy, 1989

Software methodology for development of a trusted BMS: identification of critical problems.

[BibT_eX]

[DOI]

Stephen D. Crocker

Emilie J. Siarkiewicz

Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

1988

Reverification of a microprocessor.

[BibT_eX]

[DOI]

Proceedings of the 1988 IEEE Symposium on Security and Privacy, 1988

1985

SDVS: a system for verifying microcode correctness.

[BibT_eX]

[DOI]

Leo Marcus

Stephen D. Crocker

Jaisook Landauer

ACM SIGSOFT Softw. Eng. Notes, 1985

Engineering requirements for production quality verification systems.

[BibT_eX]

[DOI]

Stephen D. Crocker

ACM SIGSOFT Softw. Eng. Notes, 1985

1982

Precise Information Flow Analysis by Program Verification.

[BibT_eX]

[DOI]

Christopher Landauer

Stephen D. Crocker

Proceedings of the 1982 IEEE Symposium on Security and Privacy, 1982

Verification of Concurrent Systems: Function and Timing.

[BibT_eX]

William T. Overman

Stephen D. Crocker

Proceedings of the Protocol Specification, 1982

1981

A multiprocessor description language.

[BibT_eX]

[DOI]

William T. Overman

Stephen D. Crocker

Vittal Kini

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1972

Function-oriented protocols for the ARPA computer network.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1971

COMPUTER NETWORKS.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, May, 1971

Exposition Style.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, May, 1971

Best Laid Plans.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, May, 1971

Agenda for the May NWG meeting.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, May, 1971

Proffered Official ICP.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, April, 1971

Structure of the May NWG Meeting.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, April, 1971

Pressure from the Chairman.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, March, 1971

Output of the Host-Host Protocol Glitch Cleaning Committee.

[BibT_eX]

[DOI]

RFC, March, 1971

Distribution of NWG/RFC's through the NIC.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, February, 1971

Link 191.

[BibT_eX]

[DOI]

Jonathan B. Postel

Stephen D. Crocker

RFC, February, 1971

Output of the Host-Host Protocol glitch cleaning committee.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, February, 1971

Proposal for a Network Standard Format for a Data Stream to Control Graphics Display.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, January, 1971

1970

Network Working Group meeting.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, December, 1970

Note on Padding.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, October, 1970

Response to NWG/RFC 67.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, September, 1970

NIC - third level ideas and other noise.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, August, 1970

Updated distribution list.

[BibT_eX]

[DOI]

Jonathan B. Postel

Stephen D. Crocker

RFC, July, 1970

Prototypical implementation of the NCP.

[BibT_eX]

[DOI]

RFC, June, 1970

Official Protocol Proffering.

[BibT_eX]

[DOI]

RFC, June, 1970

Official protocol mechanism.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, June, 1970

Possible protocol plateau.

[BibT_eX]

[DOI]

Jonathan B. Postel

Stephen D. Crocker

RFC, April, 1970

BBN's Comments on NWG/RFC #33.

[BibT_eX]

[DOI]

Jonathan B. Postel

Stephen D. Crocker

RFC, April, 1970

New Protocol is Coming.

[BibT_eX]

[DOI]

Jonathan B. Postel

Stephen D. Crocker

RFC, April, 1970

Network Meeting Epilogue, etc.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, March, 1970

Protocol Notes.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, March, 1970

Network Meeting.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, March, 1970

New Host-Host Protocol.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, February, 1970

HOST-HOST communication protocol in the ARPA network.

[BibT_eX]

[DOI]

C. Stephen Carr

Stephen D. Crocker

Vinton G. Cerf

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, 1970

1969

No High Link Numbers.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, October, 1969

M.I.T.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, August, 1969

Documentation conventions.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, July, 1969

Conversation with Bob Kahn.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, April, 1969

Host Software.

[BibT_eX]

[DOI]

Stephen D. Crocker

RFC, April, 1969

1967

The Greenblatt chess program.

[BibT_eX]

[DOI]

Richard D. Greenblatt

Donald E. Eastlake III

Stephen D. Crocker

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Fall Joint Computer Conference, 1967

Snuper computer: a computer in instrumentation automaton.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, 1967

Stephen D. Crocker

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...