DocumentCode
12387
Title
Trust, but Verify
Author
Lesk, Michael
Author_Institution
Rutgers Univ., Piscataway, NJ, USA
Volume
12
Issue
6
fYear
2014
fDate
Nov.-Dec. 2014
Firstpage
94
Lastpage
96
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;
fLanguage
English
Journal_Title
Security & Privacy, IEEE
Publisher
ieee
ISSN
1540-7993
Type
jour
DOI
10.1109/MSP.2014.130
Filename
7006407
Link To Document