A distributed calculus for rôle-based access control

Proceedings of the Computer Security Foundations Workshop

Volumn 17, Issue , 2004, Pages 48-60

  Braghin, Chiara ^a   Gorla, Daniele ^b,c   Sassone, Vladimiro ^d  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

^d UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; CONCURRENT SYSTEMS; EQUATE SYSTEMS; MANAGEMENT SYSTEMS;

CLIENT SERVER COMPUTER SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONSTRAINT THEORY; CONTROL SYSTEM ANALYSIS; DATABASE SYSTEMS; EQUATIONS OF STATE; FORMAL LOGIC; SECURITY OF DATA;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 4944266669     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. G.-J. Ahn and R. Sandhu. Role-based Authorization Constraints Specification. ACM Transactions on Information and System Security, 3(4):207-226, 2000.
2. E. Bertino, B. Catania, E. Ferrari, and P. Perlasca. A Logical Framework for Reasoning about Access Control Models. In Proc. of 6th SACMAT, pages 41-52. ACM Press, 2001.
3. C. Braghin, D. Gorla, and V. Sassone. A distributed calculus for role-based access control. Full version of this paper, available as Research Report at www.dsi.uniromal.it/~gorla/publications.htm.
4. L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. In Proc. of CONCUR'00, volume 1877 of LNCS, pages 365-379. Springer, 2000.
5. L. Cardelli and A. D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1):177-213, 2000.
6. D. Ferraiolo and D. Kuhn. Role-Based Access Control. In Proc. of the NIST-NSA National Computer Security Conference, pages 554-563, 1992.
7. D. Ferraiolo, R. Sandhu, S. Gavrila, D. Kuhn, and R. Chandramouli. Proposed NIST standard for role-based access control. ACM Transactions on Information and System Security, 4(3):224-274, 2001.
8. C. Fournet and C. Laneve. Bisimulations for the joincalculus. Theoretical Computer Science, 266(1-2):569-603, 2001.
9. M. Hennessy and I. Rathke. Typed behavioural equivalences for processes in the presence of subtyping. In Proceedings of CATS '02, volume 61 of Electronic Notes on Theoretical Computer Science. Elsevier Science Inc., New York, 2002. Full version to appear in Mathematical Structures in Computer Science.
10. M. Hennessy and J. Riely. Resource Access Control in Systems of Mobile Agents. Information and Computation, 173:82-120, 2002.
11. K. Honda and N. Yoshida. On reduction-based process semantics. Theoretical Computer Science, 152(2):437-486, 1995.
12. M. Koch, L. Mancini, and F. Parisi-Presicce. A Formal Model for Role-Based Access Control Using Graph Transformation. In Proc. of 5th ESORICS, volume 1895 of LNCS, pages 122-139. Springer, 2000.
13. M. Koch, L. Mancini, and F. Parisi-Presicce. Decidability of Safety in Graph-based Models for Access Control. In Proc. of 7th ESORICS, volume 2502 of LNCS, pages 229-243. Springer, 2002.
14. M. Merco and D. Sangiorgi. On asynchrony in name-passing calculi. In Proceedings of ICALP '98, volume 1443 of LNCS, pages 856-867. Springer, 1998.
15. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
16. B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409-454, 1996. An extract appeared in Proceedings of LINS '93: 376-385.
17. B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409-454, 1996. An extract appeared in Proceedings of LINS '93: 376-385.
18. R. Sandhu, E. Coyne, H. Feinstein, and C. Youman. Role-Based Access Control Models. IEEE Computer, 29(2):38-47, 1996.
19. D. Sangioigi and D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
20. A. Schaad and J. Moffett. A Lightweight Approach to Specification and Analysis of Role-based Access Control Extensions. In Proc. of 7th SACMAT, pages 13-22. ACM Press, 2002.