{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:08:36Z","timestamp":1748491716936,"version":"3.41.0"},"reference-count":53,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1093\/logcom\/exv020","type":"journal-article","created":{"date-parts":[[2015,6,13]],"date-time":"2015-06-13T01:51:46Z","timestamp":1434160306000},"page":"41-80","source":"Crossref","is-referenced-by-count":7,"title":["Layered graph logic as an assertion language for access control policy models"],"prefix":"10.1093","volume":"27","author":[{"given":"Matthew","family":"Collinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"McDonald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,6,12]]},"reference":[{"key":"2017012307250581000_27.1.41.1","doi-asserted-by":"crossref","unstructured":"Abadi M. Logic in access control. In: Kolaitis Phokion G. , editor. Proceedings of the Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003). IEEE Computer Society Press; 2003.","DOI":"10.1109\/LICS.2003.1210062"},{"key":"2017012307250581000_27.1.41.2","first-page":"706","article-title":"A calculus for access control in distributed systems","volume":"15","author":"Abadi","year":"1993","journal-title":"ACM TISSEC"},{"key":"2017012307250581000_27.1.41.3","doi-asserted-by":"crossref","unstructured":"Amoroso E. Fundamentals of Computer Security Technology. Prentice-Hall; 1994.","DOI":"10.1016\/0142-0496(94)90187-2"},{"key":"2017012307250581000_27.1.41.4","unstructured":"Anderson R. Security Engineering. 2nd. Wiley; 2008."},{"key":"2017012307250581000_27.1.41.5","doi-asserted-by":"crossref","unstructured":"Bell D. E. LaPadula L. J. Technical Report MTR-2997. Mitre Corporation; 1976. Secure computer systems: unified exposition and multics interpretation.","DOI":"10.21236\/ADA023588"},{"key":"2017012307250581000_27.1.41.6","first-page":"51","article-title":"Rewrite specifications of access control policies in distributed environments","volume":"6710","author":"Bertolissi","year":"2011","journal-title":"LNCS"},{"key":"2017012307250581000_27.1.41.7","unstructured":"Biba K. J. Technical Report MTR-3153. Mitre Corporation; 1977. Integrity considerations for secure computer systems."},{"key":"2017012307250581000_27.1.41.8","unstructured":"Bistarelli S. Foley S. N. O'Sullivan B. Innovative Applications of Artificial Intelligence. 2004. Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints; p. 808-813."},{"key":"2017012307250581000_27.1.41.9","doi-asserted-by":"crossref","unstructured":"Bollob\u00e1s B. Modern Graph Theory Springer; 1998.","DOI":"10.1007\/978-1-4612-0619-4"},{"key":"2017012307250581000_27.1.41.10","doi-asserted-by":"publisher","DOI":"10.1145\/504909.504910"},{"key":"2017012307250581000_27.1.41.11","doi-asserted-by":"crossref","unstructured":"Brewer D. F. C. Nash M. J. Proceedings of the 1989 IEEE Symposium on Security and Privacy. 1989. The Chinese wall security policy; p. 206-214.","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"2017012307250581000_27.1.41.12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1952982.1952991","article-title":"Access control via Belnap logic: Intuitive, expressive, and analyzable policy composition","volume":"14","author":"Bruns","year":"2011","journal-title":"ACM TISSEC"},{"key":"2017012307250581000_27.1.41.13","first-page":"597","article-title":"A spatial logic for querying graphs","volume":"2380","author":"Cardelli","year":"2002","journal-title":"LNCS"},{"key":"2017012307250581000_27.1.41.14","doi-asserted-by":"crossref","unstructured":"T. Caulfield, D. Pym and J. Williams. Compositional security modelling: structure, economics, and behaviour. Proc. Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22\u201327, LNCS, 8533, pp. 233\u2013245, 2014.","DOI":"10.1007\/978-3-319-07620-1_21"},{"key":"2017012307250581000_27.1.41.15","doi-asserted-by":"crossref","unstructured":"Cheng X. Chen X. Zhang B. Yang Y. International Conference on Computational Intelligence and Security. 2009. An algebra for composing access control policies in grid.","DOI":"10.1109\/CIS.2009.190"},{"key":"2017012307250581000_27.1.41.16","doi-asserted-by":"crossref","unstructured":"Clark D. D. Wilson D. R. Proc IEEE Symposium on Security and Privacy. 1987. A comparison of commercial and military computer security policies; p. 184-195.","DOI":"10.1109\/SP.1987.10001"},{"key":"2017012307250581000_27.1.41.17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp021"},{"key":"2017012307250581000_27.1.41.18","unstructured":"Collinson M. Monahan B. Pym D. A Discipline of Mathematical Systems Modelling. College Publications; 2012."},{"key":"2017012307250581000_27.1.41.19","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509990077"},{"key":"2017012307250581000_27.1.41.20","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0107-x"},{"key":"2017012307250581000_27.1.41.21","doi-asserted-by":"crossref","unstructured":"Collinson M. McDonald K. Pym D. A substructural logic for layered graphs. Journal of Logic and Computation 2014. To appear, doi: 10.1093\/logcom\/exu002.","DOI":"10.1093\/logcom\/exu002"},{"key":"2017012307250581000_27.1.41.22","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.2.137"},{"key":"2017012307250581000_27.1.41.23","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1016\/j.ic.2006.10.006","article-title":"Expressiveness and complexity of graph logic","volume":"205","author":"Dawar","year":"2007","journal-title":"Information and Computation"},{"key":"2017012307250581000_27.1.41.24","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"2017012307250581000_27.1.41.25","unstructured":"Diestel Reinhard . Graph Theory. 3rd. Springer; 2005."},{"key":"2017012307250581000_27.1.41.26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00671566"},{"key":"2017012307250581000_27.1.41.27","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370633"},{"key":"2017012307250581000_27.1.41.28","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795279943"},{"key":"2017012307250581000_27.1.41.29","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505004858"},{"key":"2017012307250581000_27.1.41.30","unstructured":"Giunchiglia F. Zhang R. Crispo B. Artale A. Relation based access control: logic and policies. Technical Report DISI-10-053 Department of Information Engineering and Computer Science, University of Trento; 2010."},{"key":"2017012307250581000_27.1.41.31","doi-asserted-by":"crossref","unstructured":"Goguen J. Meseguer J. Security policies and security models. Proceedings of the IEEE Symposium on Security and Privacy 1982:11-20.","DOI":"10.1109\/SP.1982.10014"},{"key":"2017012307250581000_27.1.41.32","unstructured":"Gollman D. Computer Security. 2nd. John Wiley & Sons; 2005."},{"key":"2017012307250581000_27.1.41.33","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","article-title":"Dynamic logic","volume-title":"Handbook of Philosophical Logic","volume":"II","author":"Harel","year":"1984"},{"key":"2017012307250581000_27.1.41.34","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"2017012307250581000_27.1.41.35","doi-asserted-by":"crossref","unstructured":"J. Hoagland, R. Pandey and K. Levitt. Security policy specification using a graphical approach. Technical Report CSE-98-3, Department of Computer Science, University of California, Davis, 1998.","DOI":"10.1016\/S0167-4048(98)80010-1"},{"key":"2017012307250581000_27.1.41.36","doi-asserted-by":"crossref","unstructured":"Horton J. Harland R. Ashby E. Cooper R. Hyslop W. Nickerson B. Stewart W. Ward O. IEEE Computer Society Symposium on Research in Security and Privacy. 1993. The cascade vulnerability problem; p. 110-116.","DOI":"10.3233\/JCS-1993-2402"},{"key":"2017012307250581000_27.1.41.37","doi-asserted-by":"crossref","unstructured":"Ishtiaq S.S. O'Hearn P. 28th ACM-SIGPLAN Symposium on Principles of Programming Languages. 2001. BI as an assertion language for mutable data structures; p. 14-26.","DOI":"10.1145\/373243.375719"},{"key":"2017012307250581000_27.1.41.38","doi-asserted-by":"crossref","unstructured":"Johnson E. Goetz E. Embedding information security into the organization. IEEE Security & Privacy 2007:16-24.","DOI":"10.1109\/MSP.2007.59"},{"key":"2017012307250581000_27.1.41.39","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2004.11.002"},{"key":"2017012307250581000_27.1.41.40","unstructured":"A. Korzybski. A Non-Aristotelian System and its Necessity for Rigour in Mathematics and Physics. Presented before the American Mathematical Society at the New Orleans, Louisiana, meeting of the American Association for the Advancement of Science, December 28, 1931. Reprinted in Science and Sanity, 1933, 747\u2013761."},{"key":"2017012307250581000_27.1.41.41","first-page":"179","article-title":"A modal logic for role-based access control","volume":"3685","author":"Kosiyatrakul","year":"2005","journal-title":"LNCS"},{"key":"2017012307250581000_27.1.41.42","doi-asserted-by":"crossref","unstructured":"Lambek J. From categorical grammar to bilinear logic. In: Schroeder-Heister P. Do\u0161en K. , editors. Substructural Logics. OUP; 1993. p. 207-238.","DOI":"10.1093\/oso\/9780198537779.003.0008"},{"key":"2017012307250581000_27.1.41.43","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1145\/138873.138874","article-title":"Authentication in distributed systems: theory and practice","volume":"4","author":"Lampson","year":"1992","journal-title":"ACM Transactions on Computer Systems"},{"key":"2017012307250581000_27.1.41.44","unstructured":"NCSC. Trusted network interpretation of the trusted computer system evaluation criteria. (The Red Book). National Computer Security Center, NCSC-TG-005, 1987."},{"key":"2017012307250581000_27.1.41.45","doi-asserted-by":"publisher","DOI":"10.2307\/421090"},{"key":"2017012307250581000_27.1.41.46","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90263-2"},{"key":"2017012307250581000_27.1.41.47","first-page":"146","article-title":"S-coi: the secure conflicts of interest model for multilevel secure database systems","volume":"2973","author":"Park","year":"2004","journal-title":"LNCS"},{"key":"2017012307250581000_27.1.41.48","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2010.03.014"},{"key":"2017012307250581000_27.1.41.49","unstructured":"Peek J. Powers S. O'Reilly T. Loukides M. Unix Power Tools. 3rd. O'Reilly Media, Inc.; 2002."},{"key":"2017012307250581000_27.1.41.50","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.tcs.2003.11.020","article-title":"Possible worlds and resources: the semantics of BI","volume":"315","author":"Pym","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"2017012307250581000_27.1.41.51","unstructured":"Read S. Relevant Logic. Basil Blackwell; 1988."},{"key":"2017012307250581000_27.1.41.52","doi-asserted-by":"crossref","unstructured":"Reynolds J. Proceedings of the 17th LICS. IEEE Comp. Soc. Press; 2002. Separation logic: a logic for shared mutable data structures; p. 55-74.","DOI":"10.1109\/LICS.2002.1029817"},{"key":"2017012307250581000_27.1.41.53","doi-asserted-by":"publisher","DOI":"10.1109\/2.241422"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/1\/41\/9688131\/exv020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T16:10:05Z","timestamp":1748448605000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,12]]},"references-count":53,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,23]]},"published-print":{"date-parts":[[2017,2]]}},"alternative-id":["10.1093\/logcom\/exv020"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv020","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published":{"date-parts":[[2015,6,12]]}}}