Networks are Systems: A Discussion Paper

John Rushby

Proceedings of the Department of Defense Computer Security Center Invitational Workshop on Network Security, New Orleans, LA, March 1985. Reprinted in Marshall D. Abrams and Harold J. Podell, editors, Tutorial: Computer and Network Security, IEEE Computer Society Press, 1986, pp. 300--316.

Abstract

TBD.

PDF only.

BibTeX Entry

@inproceedings{Rushby05ncsc-ns,
	AUTHOR = {John Rushby},
	BOOKTITLE = {Proceedings of the Department of Defense Computer
		Security Center Invitational Workshop on Network Security},
	ORGANIZATION = {Publ.\ by Department of Defense Computer Security
		Center},
	TITLE = {Networks are Systems},
	MONTH = mar,
	YEAR = 1985,
	ADDRESS = {New Orleans, LA},
	PAGES = {7--24 to 7--37},
	NOTE = {(Reprinted in~\cite[pp.~300--316]{Abrams&Podell86})}
}

@book{Abrams&Podell86,
	EDITOR = {Marshall D. Abrams and Harold J. Podell},
	TITLE = {Tutorial: Computer and Network Security},
	PUBLISHER = {IEEE Computer Society Press},
	YEAR = 1986
}


Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page