John Rushby

Invited paper presented at Symposium on Requirements Engineering for Information Security (SREIS), Indianapolis, IN, March 2001.

Abstract

gzipped postscript, or plain postscript or pdf or crude ascii (for your Palm Pilot)

Slides

gzipped postscript

plain postscript

pdf

crude ascii

BibTeX Entry

@INPROCEEDINGS{Rushby01:SREIS,
	AUTHOR = {John Rushby},
	TITLE = {Security Requirements Specifications: How and What?},
	BOOKTITLE = {Symposium on Requirements Engineering for Information Security (SREIS)},
	YEAR = 2001,
	ADDRESS = {Indianapolis, IN},
	MONTH = mar,
	NOTE = {Proceedings available on CD-ROM from \url{http://www.cerias.purdue.edu}}
}