Security Verification Techniques Applied to PatchLink COTS Software.

David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog

Browse the full WETICE paper archive.