Title :
Trust, but Verify
Author_Institution :
Rutgers Univ., Piscataway, NJ, USA
Abstract :
Do you believe the software packages you buy and install are secure? Today that belief is largely a matter of faith. Could a third-party verification process, whether similar to Underwriters Laboratories or the US Food and Drug Administration, give us greater assurance of secure software?
Keywords :
program testing; program verification; security of data; software packages; trusted computing; software packages; software security; software testing; third-party verification process; Computer security; Encoding; Software design; Software performance; Software reliability; Verification; code inspection; security; software verification;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2014.130
