Type based discretionary access control

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3170, Issue , 2004, Pages 225-239

  Bugliesi, Michele ^a   Colazzo, Dario ^a   Crafa, Silvia ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

CONCURRENT AND DISTRIBUTED SYSTEMS; DISCRETIONARY ACCESS CONTROL; FINE GRAINED; PI CALCULUS; RESOURCE MANAGEMENT; SELECTIVE DISTRIBUTION; THIRD PARTIES; TYPE SYSTEMS;

ACCESS CONTROL;

EID: 35048879172     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-28644-8_15     Document Type: Article

References (18)

1. M. Abadi and A. D. Gordon. Reasoning about cryptographic protocols in the Spi calculus. In CONCUR'97, volume 1243 of LNCS, pages 59-73, 1997.
2. L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. In Proceedings of CONCUR, number 1877 in LNCS, pages 365-379. Springer-Verlag, 2000.
3. T. Chothia, D. Duggan, and J. Vitek. Type-based distributed access control. In CSFW 2003, pages 170-184. IEEE, 2003.
4. M. Hennessy and J. Riely. Information flow vs resource access in the asynchronous π-calculus. ACM TOPLAS, 24(5):566-591, 2002.
5. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. I&C, 173:82-120, 2002.
6. Matthew Hennessy, Julian Rathke, and Nobuko Yoshida. SafeDpi: a language for controlling mobile code. In FoSSaCS'04, number 2987 in LNCS, pages 241-256, 2004.
7. K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In ESOP '98, number 1381 in LNCS, pages 122-138. Springer-Verlag, 1998.
8. K. Honda, V.T. Vasconcelos, and N. Yoshida. Secure information flow as typed process behaviour. In ESOP '00, volume 1782 of LNCS, pages 180-199. Springer-Verlag, 2000.
9. Naoki Kobayashi. Type-based information flow analysis for the pi-calculus. Technical Report TR03-0007, Dept. of Computer Science, Tokyo Institute of Technology, 2003.
10. B.W. Lampson. Protection. ACM Operating Systems Rev., 8(1):18-24, Jan. 1974.
11. C.J. McCollum, J. R. Messing, and L. Notargiacomo. Beyond the pale of mac and dac - defining new forms of access control. In Proc. of IEEE Symposium on Security and Privacy, pages 190-200, 1990.
12. Andrew C. Myers and Barbara Liskov. Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol, (4):410-442, 2000.
13. B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5), 1996.
14. Franois Pettier. A simple view of type-secure information flow in the π-calculus. In Proceedings of the 15th IEEE Computer Security Foundations Workshop, pages 320-330, 2002.
15. P. Samarati and S. De Capitani di Vimercati. Access control: Policies, models, and mechanisms. In R. Focardi and R. Gorrieri, editors, FOSAD 2002, number 2171 in LNCS. Springer-Verlag, 2002.
16. Ravi S. Sandhu and Qamar Munawer. How to do discretionary access control using roles. In ACM Workshop on Role-Based Access Control, pages 47-54, 1998.
17. Fred B. Schneider. Enforceable security policies. ACM Trans. Inf. Syst. Secur., 3(1):30-50, 2000.
18. P. Sewell and J. Vitek. Secure composition of untrusted code: Boxmpi, wrappers and causality types. Journal of Computer Security, 11(2):135-188, 2003.