@book{7899,
	author = {Kohnfelder, Loren,},
	title = {Designing secure software :},
	publisher = {No Starch Press,},
	year = {[2022]},
	address = {San Francisco :},
	note = {Includes index.}
}