{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:09:51Z","timestamp":1725746991709},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/milcom.2011.6127479","type":"proceedings-article","created":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T16:34:31Z","timestamp":1330619671000},"page":"1285-1290","source":"Crossref","is-referenced-by-count":14,"title":["Controlled information sharing in NATO operations"],"prefix":"10.1109","author":[{"given":"Konrad","family":"Wrona","sequence":"first","affiliation":[]},{"given":"Geir","family":"Hallingstad","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Assessment Report on the Joint GBR\/USA Statement on Common Criteria Evaluation","year":"2011","key":"19"},{"key":"17","first-page":"420","article-title":"Fully Homomorphic Encryption with Relatively Small Key and Ciphertext Sizes","author":"smart","year":"2010","journal-title":"Public Key Cryptography"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-010-9060-3"},{"journal-title":"NC3B Directive for the Implementation of the NATO Public Key Infrastructure (NPKI)","year":"2003","key":"15"},{"journal-title":"Content-Based Information Security (CBIS)","year":"2010","author":"kiviharju","key":"16"},{"key":"13","article-title":"Trusted Software within Focal","author":"ayrault","year":"2008","journal-title":"Computer & Electronics Security Applications Rendez-vous"},{"journal-title":"Security Programming with Refinement Types and Mobile Proofs","year":"2010","author":"swamy","key":"14"},{"key":"11","first-page":"10","article-title":"Building Secure Systems Using Model-Based Engineering and Architectural Models","author":"hansson","year":"2008","journal-title":"The Journal of Defense Software Engineering"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2008.4689242"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2010.5680248"},{"journal-title":"Active Content Removal","year":"2010","author":"lagadec","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1655108.1655115"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2010.5680360"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSIT.2010.5563785"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2009.5379887"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"9"},{"journal-title":"The Way of Z Practical Programming with Formal Methods","year":"2006","author":"jacky","key":"8"}],"event":{"name":"MILCOM 2011 - 2011 IEEE Military Communications Conference","start":{"date-parts":[[2011,11,7]]},"location":"Baltimore, MD, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 - MILCOM 2011 Military Communications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6111660\/6127424\/06127479.pdf?arnumber=6127479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T14:42:44Z","timestamp":1490107364000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6127479\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/milcom.2011.6127479","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}