{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:53Z","timestamp":1750308233165,"version":"3.41.0"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1985,8,1]],"date-time":"1985-08-01T00:00:00Z","timestamp":491702400000},"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":[[1985,8]]},"abstract":"<jats:p>This paper proposes the use of the specification\/programming language Lucid to specify secure distributed systems. It reports on the status of work to develop a formal model of security for the SNet multi-level secure distributed system, and to specify it in Lucid.<\/jats:p>","DOI":"10.1145\/1012497.1012528","type":"journal-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:09Z","timestamp":1097170749000},"page":"76-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["LUCID"],"prefix":"10.1145","volume":"10","author":[{"given":"Jexice I.","family":"Glasgow","sequence":"first","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]},{"given":"Glena H.","family":"MacEwe","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[1985,8]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1137\/0205029"},{"unstructured":"{Ashcroft83} Ashcroft E. A. Wadge W. W. Why Lucid Distributed Computing Project No. 3 Department of Computer Science University of Warwick England 1983  {Ashcroft83} Ashcroft E. A. Wadge W. W. Why Lucid Distributed Computing Project No. 3 Department of Computer Science University of Warwick England 1983","key":"e_1_2_1_3_1"},{"volume-title":"University of Arizona","year":"1983","author":"Faustini A. A.","key":"e_1_2_1_4_1"},{"volume-title":"September, 1984.","author":"Glasgow J. I.","key":"e_1_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1145\/359545.359563"},{"volume-title":"Proceedings of IFIP","year":"1962","author":"Landin P. J.","key":"e_1_2_1_7_1"},{"volume-title":"IEEE Symp. on Security and Privacy","author":"MacEwen G. H.","key":"e_1_2_1_8_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012497.1012528","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1012497.1012528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:43Z","timestamp":1750264303000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012497.1012528"}},"subtitle":["a specification language for distributed systems"],"short-title":[],"issued":{"date-parts":[[1985,8]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1985,8]]}},"alternative-id":["10.1145\/1012497.1012528"],"URL":"https:\/\/doi.org\/10.1145\/1012497.1012528","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1985,8]]},"assertion":[{"value":"1985-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}