{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T00:36:35Z","timestamp":1770597395707,"version":"3.49.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/secpri.2004.1301315","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"56-67","source":"Crossref","is-referenced-by-count":19,"title":["A layered design of discretionary access controls with decidable safety properties"],"prefix":"10.1109","author":[{"given":"J.A.","family":"Solworth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.H.","family":"Sloan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"22","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1145\/352600.352622","article-title":"An access control model for simplifying constraint expression","author":"tidswell","year":"2000","journal-title":"Proceedings of the 7th ACM Conference on Computer and Communications Security (CCS-00)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/300830.300839"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344307"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1992.213266"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/FITS.2003.1264934"},{"key":"15","first-page":"147","article-title":"Developing applications on LOCK","author":"o'brien","year":"1991","journal-title":"Proceedings of NIST - NCSC National Computer Security Conference"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/354876.354878"},{"key":"13","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/775265.775268","article-title":"Protection","volume":"8","author":"lampson","year":"1974","journal-title":"ACM Operating Systems Review"},{"key":"14","article-title":"Simulation of the augmented typed access matrix model (ATAM) using roles","author":"munawer","year":"1999","journal-title":"INFOS-ECU99 International Conference on Information Security"},{"key":"11","first-page":"229","article-title":"Decidability of safety in graph-based models for access control","author":"koch","year":"2002","journal-title":"10th European Symposium on Research in Computer Security ESORICS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/545186.545191"},{"key":"21","first-page":"106","article-title":"Safety analysis of the dynamic-typed access matrix model","volume":"1895","author":"soshi","year":"2000","journal-title":"6th European Symposium on Research in Computer Security (ESORICS 2000) Volume 1895 of Lecture Notes in Computer Science"},{"key":"3","first-page":"18","article-title":"A practical alternative to hierarchical integrity policies","author":"boebert","year":"1985","journal-title":"8th National Computer Security Conference"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675753"},{"key":"2","article-title":"Secure computer systems: Mathematical foundations and model","volume":"m74 244","author":"bell","year":"1973","journal-title":"Technical Report"},{"key":"1","article-title":"Computer security technology planning study","volume":"esd tr 73 51","author":"anderson","year":"1972","journal-title":"Technical Report"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.1"},{"key":"7","first-page":"554","article-title":"Role based access control","author":"ferraiolo","year":"1992","journal-title":"15th National Computer Security Conference"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"5","author":"crampton","year":"2002","journal-title":"Authorizations and Antichians"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"9","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/501963.501966","article-title":"Practical safety in flexible access control models","volume":"4","author":"jaeger","year":"2001","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"}],"event":{"name":"IEEE Symposium on Security and Privacy, 2004. 2004","location":"Berkeley, CA, USA"},"container-title":["IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9120\/28916\/01301315.pdf?arnumber=1301315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:57:30Z","timestamp":1497585450000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1301315\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/secpri.2004.1301315","relation":{},"subject":[]}}