Security Verification Techniques Applied to PatchLink COTS Software.

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

Published in: WETICE (2006)

Keyphrases

access control
intrusion detection
software tools
software components
statistical databases
distributed systems
decision support
test cases
third party
information security
integrity verification