{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:00Z","timestamp":1750309080273,"version":"3.41.0"},"reference-count":5,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1981,7,1]],"date-time":"1981-07-01T00:00:00Z","timestamp":362793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1981,7]]},"DOI":"10.1145\/1010832.1010846","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"42-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Status of ongoing security-relevant projects"],"prefix":"10.1145","volume":"6","author":[{"given":"Richard A.","family":"Kemmerer","sequence":"first","affiliation":[{"name":"System Development Corporation, Santa Monica, California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1981,7]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Eggert P. R. \"Overview of the Ina Jo Specification Language \" System Development Corporation document SP 4082 October 1980.  Eggert P. R. \"Overview of the Ina Jo Specification Language \" System Development Corporation document SP 4082 October 1980."},{"key":"e_1_2_1_2_1","unstructured":"Kemmerer R. A. \"FDM - A Specification and Verification Methodology \" System Development Corporation document SP-4088 November 1980.  Kemmerer R. A. \"FDM - A Specification and Verification Methodology \" System Development Corporation document SP-4088 November 1980."},{"key":"e_1_2_1_3_1","first-page":"00","volume":"6021","author":"Locasso R.","year":"1980","journal-title":"\"The Ina Jo Specification Language Reference Manual,\" System Development Corporation document TM-(L)-"},{"key":"e_1_2_1_4_1","first-page":"00","volume":"7043","author":"Scheid J.","year":"1980","journal-title":"\"Restaurant -- An Example of the Formal Development Methodology,\" System Development Corporation document TM-(L)-"},{"key":"e_1_2_1_5_1","first-page":"00","volume":"6889","author":"Schorre V.","year":"1980","journal-title":"\"The Interactive Theorem Prover (ITP) User Manual,\" System Development Corporation document TM-"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010846","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010832.1010846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:25Z","timestamp":1750286605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,7]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,7]]}},"alternative-id":["10.1145\/1010832.1010846"],"URL":"https:\/\/doi.org\/10.1145\/1010832.1010846","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1981,7]]},"assertion":[{"value":"1981-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}