{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T03:12:56Z","timestamp":1648523576122},"reference-count":17,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Security"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1016\/0167-4048(93)90117-n","type":"journal-article","created":{"date-parts":[[2002,10,11]],"date-time":"2002-10-11T09:52:25Z","timestamp":1034329945000},"page":"275-283","source":"Crossref","is-referenced-by-count":3,"title":["A model for detecting the existence of software corruption in real time"],"prefix":"10.1016","volume":"12","author":[{"given":"Jeffrey M.","family":"Voas","sequence":"first","affiliation":[]},{"given":"Jeffrey E.","family":"Payne","sequence":"additional","affiliation":[]},{"given":"Frederick B.","family":"Cohen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-4048(93)90117-N_BIB1","series-title":"Reliability and Fault Tree Analysis: Theoretical and Applied Aspects of System Reliability and Safety Assesment","author":"Barlow","year":"1975"},{"key":"10.1016\/0167-4048(93)90117-N_BIB2","article-title":"Roving emulation","author":"Breuer","year":"1983","journal-title":"Proc. Built-in Self-test Conf."},{"key":"10.1016\/0167-4048(93)90117-N_BIB3","author":"Chang","year":"1990","journal-title":"Internal documents and discussions with personnel at Trend Microdevices regarding their commercial antivirus product"},{"key":"10.1016\/0167-4048(93)90117-N_BIB4","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/0167-4048(87)90082-4","article-title":"Protection and administration of information networks with partial orderings","volume":"6","author":"Cohen","year":"1987","journal-title":"Comput. Secur."},{"key":"10.1016\/0167-4048(93)90117-N_BIB5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0167-4048(89)90070-9","article-title":"Models of practical defenses against computer viruses","volume":"8","author":"Cohen","year":"1989","journal-title":"Comput. Secur."},{"key":"10.1016\/0167-4048(93)90117-N_BIB6","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0167-4048(89)90089-8","article-title":"Computational aspects of computer viruses","volume":"8","author":"Cohen","year":"1989","journal-title":"Comput. Secur."},{"key":"10.1016\/0167-4048(93)90117-N_BIB7","series-title":"A Short Course on Computer Viruses","author":"Cohen","year":"1991"},{"key":"10.1016\/0167-4048(93)90117-N_BIB8","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1016\/0167-4048(92)90192-T","article-title":"Defense-in-depth against computer viruses","volume":"11","author":"Cohen","year":"1992","journal-title":"Comput. Secur."},{"key":"10.1016\/0167-4048(93)90117-N_BIB9","series-title":"Reliability Engineering and Risk Assessment","author":"Henley","year":"1981"},{"key":"10.1016\/0167-4048(93)90117-N_BIB10","article-title":"Static analysis virus detection tools for unix systems","author":"Kerchen","year":"1990","journal-title":"13th National Computer Security Conf."},{"key":"10.1016\/0167-4048(93)90117-N_BIB11","article-title":"Identifying and controlling undesirable program behaviors","author":"King","year":"1991","journal-title":"14th National Computer Security Conf."},{"key":"10.1016\/0167-4048(93)90117-N_BIB12","first-page":"129","article-title":"Gedanken experiments on sequential machines, in Automata studies","author":"Moore","year":"1956"},{"key":"10.1016\/0167-4048(93)90117-N_BIB13","series-title":"PhD Thesis","author":"Pozzo","year":"1990"},{"key":"10.1016\/0167-4048(93)90117-N_BIB14","unstructured":"F. Skulason. The \u2018F-prot\u2019 virus detection program uses several unpublished examples of these techniques."},{"key":"10.1016\/0167-4048(93)90117-N_BIB15","first-page":"308","article-title":"A dynamic failure model for estimating the impact that a program location has on the program","volume":"Vol. 550","author":"Voas","year":"1991"},{"issue":"2","key":"10.1016\/0167-4048(93)90117-N_BIB16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/52.73748","article-title":"Predicting where faults can hide from testing","volume":"8","author":"Voas","year":"1991","journal-title":"IEEE Software"},{"issue":"4","key":"10.1016\/0167-4048(93)90117-N_BIB17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1109\/TSE.1979.234203","article-title":"On legality assertions in EUCLID","volume":"SE-5","author":"Wortman","year":"1979","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Computers & Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016740489390117N?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016740489390117N?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T23:57:36Z","timestamp":1554940656000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016740489390117N"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["016740489390117N"],"URL":"https:\/\/doi.org\/10.1016\/0167-4048(93)90117-n","relation":{},"ISSN":["0167-4048"],"issn-type":[{"value":"0167-4048","type":"print"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}