{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:01:32Z","timestamp":1729634492452,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428605","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T18:10:36Z","timestamp":1219860636000},"page":"51-56 Vol.1","source":"Crossref","is-referenced-by-count":1,"title":["An algorithmic approach to verification of intransitive non-interference in security policies"],"prefix":"10.1109","author":[{"given":"N.B.","family":"Hadj-Alouane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lafrance","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Feng Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Mullins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Yeddes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779776"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/32.713329"},{"key":"17","first-page":"1054","article-title":"Nondeterministic admissible interference","volume":"6","author":"mullins","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601338"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"15","first-page":"237","article-title":"Open issues in formal methods for cryptographic protocol analysis","author":"meadows","year":"2000","journal-title":"Proceedings of DISCEX 2000 IEEE Computer Society Press"},{"key":"16","doi-asserted-by":"crossref","first-page":"143","DOI":"10.3233\/JCS-2001-91-206","article-title":"A cost-based framework for analysis of denial of service networks","volume":"9","author":"meadows","year":"2001","journal-title":"Journal of Computer Security"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.481534"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00311-1"},{"key":"12","article-title":"Using admissible interference to detect denial of service vulnerabilities","author":"lafrance","year":"2003","journal-title":"Sixth International Workshop in Formal Methods"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779775"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428605"},{"key":"20","article-title":"Noninterference, transitivity and channel-control security policies","volume":"csl 92 2","author":"rushby","year":"1992","journal-title":"Technical Report"},{"key":"2","article-title":"Characterizing intransitive non-interference in security policies with observability","author":"hadj-alouane","year":"2004","journal-title":"IEEE Transactions on Automatic Control"},{"key":"1","article-title":"Secure computer system: Unified exposition and multics interpretation","volume":"mtr 2997","author":"bell","year":"1976","journal-title":"Technical Report"},{"key":"10","article-title":"A generic enemy process for the analysis of cryptoprotocols","author":"lafrance","year":"2002","journal-title":"FSCBS'2002"},{"key":"7","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.1987.226478","article-title":"extending the noninterference version of mls for sat","volume":"se 13","author":"haigh","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1984.10019"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","article-title":"A classification of security properties for process algebras","volume":"3","author":"focardi","year":"1994","journal-title":"Journal of Computer Security"},{"journal-title":"7995 IEEE Symp on Research in Security and Privacy","year":"1995","key":"9"},{"journal-title":"Introduction to Automata Theory Languages and Computation Second Edition","year":"2001","author":"hopcroft","key":"8"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30836\/01428605.pdf?arnumber=1428605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T16:44:40Z","timestamp":1557765880000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428605\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428605","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}