{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:57:02Z","timestamp":1729637822494,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/milcom.2015.7357670","type":"proceedings-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T16:54:21Z","timestamp":1450371261000},"page":"1578-1583","source":"Crossref","is-referenced-by-count":2,"title":["A novel Multiple Independent Levels of Security\/Safety Cross Domain solution"],"prefix":"10.1109","author":[{"given":"Angelo","family":"Liguori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1992.213253"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1988.tb00631.x"},{"key":"ref12","first-page":"89","article-title":"Multilevel security controls access: SecureWare product segments Air Force system","volume":"14","author":"cashin","year":"1994","journal-title":"Software Magazine"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.1990.143794"},{"key":"ref14","first-page":"119","author":"kang","year":"1993","journal-title":"A Pump for rapid reliable secure communication in Proceedings of the First ACM Conference on Computer and Communications Security"},{"journal-title":"Network Working Group RFC4949 Internet Security Glossary Version 2","year":"0","key":"ref15"},{"journal-title":"Information Assurance Directorate [Online] U S Government Protection Profile for Separation Kernels in Environments Requiring High Robustness Version 1 03 2007 (Date of access","year":"2015","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70760-8_12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"journal-title":"Trusted Information Sharing for Partnerships","article-title":"RTO Task Group, NATO Science and Technology Collaboration Support Service","year":"2015","key":"ref19"},{"key":"ref4","article-title":"Secure Computer System: Unified Exposition and Multics Interpretation","author":"bell","year":"0","journal-title":"ESD-TR-75-306"},{"journal-title":"Kali Linux v 2 0","year":"0","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/800216.806586"},{"journal-title":"Multilevel Security","year":"0","author":"smith","key":"ref6"},{"key":"ref5","article-title":"Integrity considerations for secure computer systems","author":"biba","year":"1977","journal-title":"USAF Electronic System Division Hanscom Air Force Base Tech Rep ESD-TR-76-372"},{"key":"ref8","first-page":"379","article-title":"IBM's Resource Security System (RSS)","author":"hoffman","year":"1973","journal-title":"Privacy and Security in Computer Systems"},{"key":"ref7","first-page":"119","article-title":"Security controls in the ADEPT-50 time-sharing system","author":"weissman","year":"1969","journal-title":"Proc 1969 Fall Joint Computer Conf"},{"journal-title":"MUSIS","year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654440"},{"journal-title":"COSMO-SkyMed","year":"0","key":"ref1"},{"journal-title":"DoD 5200 28-STD Department of Defense Trusted Computer System Evaluation Criteria (Orange Book)","year":"2015","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/11513988_27","article-title":"The AVISPA tool for the automated validation of internet security protocols and applications","author":"armando","year":"2005","journal-title":"Computer Aided Verification"},{"key":"ref21","first-page":"247","article-title":"Constructing a high assurance mail guard","author":"smith","year":"1994","journal-title":"Proceedings of the 17th National Computer Security Conference"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-642-02002-5_5","article-title":"Comparing State Spaces in Automatic Security Protocol Analysis","volume":"5458","author":"cremers","year":"2009","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"AVISPA Deliverable 2 1 The High-Level Protocol Specification Language","year":"0","key":"ref23"},{"journal-title":"Nessus Vulnerability Scanner Tenable Network Security Website","year":"0","key":"ref26"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/11495628_4","article-title":"Operational semantics of security protocols","volume":"3466","author":"cremers","year":"2005","journal-title":"S Leue and T Syst Scenarios Models Transformations and Tools Revised Selected Papers"}],"event":{"name":"MILCOM 2015 - 2015 IEEE Military Communications Conference","start":{"date-parts":[[2015,10,26]]},"location":"Tampa, FL, USA","end":{"date-parts":[[2015,10,28]]}},"container-title":["MILCOM 2015 - 2015 IEEE Military Communications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7347040\/7357245\/07357670.pdf?arnumber=7357670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T21:55:57Z","timestamp":1498254957000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7357670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/milcom.2015.7357670","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}