{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:54Z","timestamp":1763468094228},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/dsnw.2012.6264665","type":"proceedings-article","created":{"date-parts":[[2012,8,17]],"date-time":"2012-08-17T19:49:12Z","timestamp":1345232952000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures"],"prefix":"10.1109","author":[{"given":"Kevin","family":"Muller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Paulitsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Tverdyshev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Blasum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391845"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2012.27"},{"key":"10","article-title":"The MILS architecture for a secure global information grid","author":"harrison","year":"2005","journal-title":"Tech Rep"},{"key":"1","article-title":"The airbus approach to open integrated modular avionics (IMA): Technology, methods, processes and future road map","author":"butz","year":"2007","journal-title":"Workshop on Aircraft System Technologies"},{"key":"7","article-title":"The MILS architecture for high-assurance embedded systems","author":"alves-foss","year":"2006","journal-title":"Tech Rep"},{"key":"6","article-title":"Separation and integration in MILS (The MILS constitution)","author":"rushby","year":"2008","journal-title":"Tech Rep February"},{"journal-title":"Tech Rep","article-title":"Avionics application software standard interface Part 1 required services","year":"2010","key":"5"},{"journal-title":"Tech Rep","article-title":"ARINC 811: Commercial aircraft information security concepts of operation and process framework","year":"2005","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2010.5655461"},{"year":"0","key":"8"},{"year":"0","author":"knoblauch","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-2891"}],"event":{"name":"2012 IEEE\/IFIP 42nd International Conference on Dependable Systems and Networks Workshops (DSN-W)","start":{"date-parts":[[2012,6,25]]},"location":"Boston, MA, USA","end":{"date-parts":[[2012,6,28]]}},"container-title":["IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6255871\/6264647\/06264665.pdf?arnumber=6264665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:35:06Z","timestamp":1490142906000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6264665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/dsnw.2012.6264665","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}