Bibliography

1

M. Abadi, M. Burrows, B. Lampson and G. Plotkin
A calculus for Access Control in Distributed Systems.
ACM Transactions on Programming Languages and Systems, Vol. 15, No 4, Pages 706-734, September 1993.

2

Gail-Joon Ahn and R. Sandhu.
The RSL99 Language for Role-Based Separation of Duty Constraints.
ACM Workshop on Role-Based Access Control, pages 43-54, 1999.

3

E. Bertino and S. Jajodia.
Supporting Multiple Access Control Policies in Database Systems.
Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996.

4

M. Blaze, J. Feigenbaum and J. Lacy.
Decentralized Trust Management.
Proceedings IEEE Symposium on Security and Privacy, IEEE Computer Press, Los Angeles, pages 164-173, 1996.

5

M. Blaze, J. Feigenbaum, M. Strauss.
Compliance Checking in the Policy Maker Trust Management System. In Proceedings of the Financial Cryptography '98, Lecture Notes in Computer Science, vol. 1465 pages 254-274.

6

D. F. C. Brewer and M. J. Nash.
The Chinese Wall Security Policy.
Proceedings of the 1989 IEEE Symposium on Security and Privacy, pages 206-214, 1989.

7

S. Jajodia, P. Samarati and V.S. Subrahmanian.
A logical Language for Expressing Authorizations.
Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997.

8

B. Lampson
Protection. ACM Operation System review 8(1), pages 18-24, January 1974.

9

J. Lukasiewicz.
On Three-Valued Logic. 1920. Ruch Filozoficzny 1920, 5, pp.170-1. English translation in Borkowski, L. (ed.) Jan Lukasiewicz: Selected Works. Amsterdam: North Holland. 1970.

10

A. Massimo, W. Cazzola, E. B. Fernandez
A History-Dependent Access Control Mechanism Using Reflection
Proceedings of 5th ECOOP Workshop on Mobile Object Systems (EWMOS'99) , June 1999.

11

J. D. Moffet and M. S. Sloman.
The representation of Policies as System objects.
Proceedings of the ACM Conference on Organizational Computing Systems , Atlanta, GA, Pages 171-184, November 1991.

12

B.C. Neuman.
Proxy-based authorization and accounting for distributed systems.
Proceedings of the 13th International Conference on Distributed Computing Systems, Pittsburgh, May 1993.

13

A. N. Prior.
Three-Valued Logic and Future Contingents. Philosophical Quarterly, vol.3, pp.317-26. 1953.

14

T. V. Ryutov and B. C. Neuman
Representation and Evaluation of Security policies for Distributed system Services.
In Proceedings of the DARPA Information Survivability Conference and Exposition, January 2000. Hilton Head, South Carolina.

15

T.Y.C. Woo and S.S. Lam.
Authorization in distributed systems: a new approach.
Journal of Computer Security, 2pages 107-136 1993.

16

F. B. Schneider.
Enforceable security policies.
Technical report TR98 1664, Cornell University, January 1998.

17

W. Shen and P. Dewan.
Access Control for Collaborative Environments.
Proceedings of CSCW, November, 1992, pages 51-58.

18

R. T. Simon and M. E. Zurko
Separation of Duty in Role-Based Environments
Computer Security Foundations Workshop, June 1997.