Last update: Sun Oct 15 02:05:00 MDT 2017
@Article{Fithen:2004:FMV, author = "William L. Fithen and Shawn V. Hernan and Paul F. O'Rourke and David A. Shinberg", title = "Formal modeling of vulnerability", journal = j-BELL-LABS-TECH-J, volume = "8", number = "4", pages = "173--186", month = "Winter", year = "2004", CODEN = "BLTJFD", DOI = "https://doi.org/10.1002/bltj.10094", ISSN = "1089-7089 (print), 1538-7305 (electronic)", ISSN-L = "1089-7089", bibdate = "Fri Nov 26 17:31:33 MST 2010", bibsource = "http://www.math.utah.edu/pub/tex/bib/bstj2000.bib", acknowledgement = ack-nhfb, fjournal = "Bell Labs Technical Journal", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1538-7305/issues/", onlinedate = "5 Feb 2004", }