@INPROCEEDINGS{Rushby01:SREIS,
    AUTHOR = {John Rushby},
    TITLE = {Security Requirements Specifications: How and What?},
    YEAR = {2001},
    MONTH = {mar},
    NOTE = {Proceedings available on {CD-ROM} from \url\{http://www.cerias.purdue.edu\}},
    ADDRESS = {Indianapolis, {IN}},
    URL = {http://www.csl.sri.com/papers/sreis01/},

    BOOKTITLE = {Symposium on Requirements Engineering for Information Security (SREIS)}
}