{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T05:48:32Z","timestamp":1762062512057,"version":"build-2065373602"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T00:00:00Z","timestamp":1658880000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T00:00:00Z","timestamp":1658880000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,7,27]]},"DOI":"10.1109\/csr54599.2022.9850321","type":"proceedings-article","created":{"date-parts":[[2022,8,16]],"date-time":"2022-08-16T19:35:46Z","timestamp":1660678546000},"page":"96-103","source":"Crossref","is-referenced-by-count":2,"title":["Auditing a Software-Defined Cross Domain Solution Architecture"],"prefix":"10.1109","author":[{"given":"Nathan","family":"Daughety","sequence":"first","affiliation":[{"name":"90thCOS, United States Air Force"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcus","family":"Pendleton","sequence":"additional","affiliation":[{"name":"90thCOS, United States Air Force"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebeca","family":"Perez","sequence":"additional","affiliation":[{"name":"90thCOS, United States Air Force"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shouhuai","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Colorado Colorado Springs"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Franco","sequence":"additional","affiliation":[{"name":"University of Cincinnati"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45853-0_14"},{"journal-title":"Capability-Based Computer Systems","year":"1984","author":"levy","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/322017.322025"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1109\/TSE.1982.236020","article-title":"unidirectional transport of rights and take–grant control","volume":"se 8","author":"lockman","year":"1982","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1780.1786"},{"journal-title":"OWASP Top 10","year":"2021","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1992.213266"},{"journal-title":"seL4 Docs","year":"2020","key":"ref17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SocialCom.2013.87"},{"journal-title":"Tutorial Overview","year":"2020","author":"evancich","key":"ref3"},{"journal-title":"How to (and how not to) use seL4 IPC","year":"2019","author":"heiser","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"ref7","article-title":"The seL4 Microkernel – An Introduction","author":"heiser","year":"2020","journal-title":"The seL4 Foundation"},{"journal-title":"Verified Protection Model of the seL4 Micro-kernel","year":"2008","author":"elkaduwe","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM52596.2021.9652903"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3230627"}],"event":{"name":"2022 IEEE International Conference on Cyber Security and Resilience (CSR)","start":{"date-parts":[[2022,7,27]]},"location":"Rhodes, Greece","end":{"date-parts":[[2022,7,29]]}},"container-title":["2022 IEEE International Conference on Cyber Security and Resilience (CSR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9850275\/9850277\/09850321.pdf?arnumber=9850321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T20:23:20Z","timestamp":1662409400000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9850321\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,27]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/csr54599.2022.9850321","relation":{},"subject":[],"published":{"date-parts":[[2022,7,27]]}}}