TY  - RPRT
TI  - Security Verification Techniques Applied to PatchLink COTS Software
AU  - Gilliam, David P.
AU  - Powell, John D.
AU  - Bishop, Matt
AU  - Andrew, Chris
AU  - Jog, Sameer
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20070017438
ID  - 20070017438
ER  -