Security Verification Techniques Applied to PatchLink COTS Software. - David P. Gilliam; John D. Powell; Matt Bishop; Chris Andrew; Sameer Jog (WETICE, 2006)