Rewriting-Based Access Control Policies-Reference-Cited by-同舟云学术

Rewriting-Based Access Control Policies

Published:2007-07 Issue:4 Volume:171 Page:59-72
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

de Oliveira Anderson Santana

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference25 articles.

1. Term rewriting and all that;Baader,1998

2. Term rewriting for access control;Barker,2006

3. Bauer, L., J. Ligatti and D. Walker, Composing security policies with polymer., in: V. Sarkar and M.W. Hall, editors, PLDI (2005), pp. 305–314

4. Bell, E. D. and L.J. LaPadula, Secure computer systems: Mathematical foundations, Technical Report Mitre Report ESD-TR-73-278 (Vol. I-III), Mitre Corporation (1974)

5. Introduction to Computer Security;Bishop,2004

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Category-Based Model for ABAC;Proceedings of the Third ACM Workshop on Attribute-Based Access Control;2018-03-14

2. A Framework for Secure Data Collection and Management for Internet of Things;Proceedings of the 2nd Annual Industrial Control System Security Workshop on - ICSS '16;2016

3. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10

4. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10

5. Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets;IEEE Transactions on Dependable and Secure Computing;2011-11