{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T15:00:36Z","timestamp":1648825236774},"reference-count":21,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1983,9,1]],"date-time":"1983-09-01T00:00:00Z","timestamp":431222400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1983,9]]},"DOI":"10.1016\/0164-1212(83)90035-3","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:49:55Z","timestamp":1060303795000},"page":"201-217","source":"Crossref","is-referenced-by-count":0,"title":["A model of enforcement relationships among database access control dependencies"],"prefix":"10.1016","volume":"3","author":[{"given":"H.Rex","family":"Hartson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Earl J.","family":"Balliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(83)90035-3_BIB1","series-title":"3rd International Conference on Software Engineering (Proceedings)","first-page":"168","article-title":"Design and Verification of Communication Procedures: A Bottom-up Approach","author":"Azema","year":"1978"},{"key":"10.1016\/0164-1212(83)90035-3_BIB2","article-title":"Modeling of MULTISAFE Protection Enforcement Processes with Extended Petri Nets","author":"Balliet","year":"1981"},{"key":"10.1016\/0164-1212(83)90035-3_BIB3","series-title":"Operating System Principles","author":"Hansen","year":"1973"},{"key":"10.1016\/0164-1212(83)90035-3_BIB4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1147\/rd.206.0560","article-title":"SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control","volume":"20","author":"Chamberlin","year":"1976","journal-title":"IBM J. Res. Devel."},{"key":"10.1016\/0164-1212(83)90035-3_BIB5","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/361284.361287","article-title":"On the Implementation of Security Measures in Information Systems","volume":"15","author":"Conway","year":"1972","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(83)90035-3_BIB6","series-title":"Tutorial on Computer Security and Integrity","article-title":"Approaches to Controlling Personal Access to Computer Terminals","author":"Cotton","year":"1977"},{"key":"10.1016\/0164-1212(83)90035-3_BIB7","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1145\/360051.360056","article-title":"A Lattice Model of Secure Information Flow","volume":"19","author":"Denning","year":"1976","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(83)90035-3_BIB8","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/320064.320069","article-title":"The Tracker: A Threat to Statistical Database Security","volume":"4","author":"Denning","year":"1979","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/0164-1212(83)90035-3_BIB9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/320064.320068","article-title":"Secure Databases: Protection Against User Inference","volume":"4","author":"Dobkin","year":"1979","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/0164-1212(83)90035-3_BIB10","series-title":"Procedings, 2nd Berkeley Workshop on Distributed Data Management and Computer Networks","article-title":"A Robust Algorithm for Updating Duplicate Databases","author":"Ellis","year":"1977"},{"key":"10.1016\/0164-1212(83)90035-3_BIB11","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/361082.361087","article-title":"A User Authentication Scheme Not Requiring Secrecy in the Computer","volume":"17","author":"Evans","year":"1974","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(83)90035-3_BIB12","series-title":"Proc. of the International Conf. on Very Large Data Bases","article-title":"A Semantic Model for Data Base Protection Languages","author":"Hartson","year":"1976"},{"key":"10.1016\/0164-1212(83)90035-3_BIB13","series-title":"Proc. of the IEEE Computer and Software Applications Conf.","first-page":"349","article-title":"Dynamics of Database Protection Enforcement\u2014A Preliminary Study","author":"Hartson","year":"1977"},{"key":"10.1016\/0164-1212(83)90035-3_BIB14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0306-4379(81)90014-4","article-title":"Database Security\u2014System Architecture","volume":"6","author":"Hartson","year":"1981","journal-title":"Information Systems"},{"key":"10.1016\/0164-1212(83)90035-3_BIB15","unstructured":"H. R. Hartson, Implementation of Predicate-Based Protection in MULTISAFE, submitted for publication."},{"key":"10.1016\/0164-1212(83)90035-3_BIB16","article-title":"The Formulation and Application of Evaluation Nets","author":"Nutt","year":"1972"},{"key":"10.1016\/0164-1212(83)90035-3_BIB17","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1145\/356698.356702","article-title":"Petri Nets","volume":"9","author":"Peterson","year":"1977","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0164-1212(83)90035-3_BIB18","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1145\/361082.361089","article-title":"A High Security Log-in Procedure","volume":"17","author":"Purdy","year":"1974","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(83)90035-3_BIB19","series-title":"Proceedings of the ACM Annual Conference","first-page":"180","article-title":"Access Control in a Relational Data Base Management System by Query Modification","author":"Stonebraker","year":"1974"},{"key":"10.1016\/0164-1212(83)90035-3_BIB20","unstructured":"R. P. Trueblood, L. T. Young, and L. Kerschberg, A Security Net Model for Database Security, submitted for publication."},{"key":"10.1016\/0164-1212(83)90035-3_BIB21","doi-asserted-by":"crossref","unstructured":"R. P. Trueblood, H. R. Hartson, and J. J. Martin, MULTISAFE\u2014A Modular Multiprocessing Approach to Secure Database Management, ACM Trans. Database Systems, to appear.","DOI":"10.1145\/319989.319993"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121283900353?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121283900353?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:54:13Z","timestamp":1552604053000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121283900353"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,9]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1983,9]]}},"alternative-id":["0164121283900353"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(83)90035-3","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1983,9]]}}}