Translating role-based access control policy within context

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

Volumn 1995, Issue , 2001, Pages 107-119

  Bacon, Jean ^a   Lloyd, Michael ^a   Moody, Ken ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC DOCUMENT EXCHANGE; FORMAL LOGIC; HEALTH;

ACCESS CONTROL POLICIES; COMPUTER LABORATORY; CONTEXT DEPENDENT; CONTROL PROCEDURES; ELECTRONIC HEALTH RECORD (EHRS); NATIONAL HEALTH SERVICES; PSEUDO NATURAL LANGUAGE; ROLE-BASED ACCESS CONTROL;

ACCESS CONTROL;

EID: 84944039217     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44569-2_7     Document Type: Conference Paper

References (16)

1. Bacon, J., Moody, K., Bates, J., Hayton, R., Ma, C., McNeil, A., Seidel, O., and Spiteri, M.: Generic Support for Asynchronous, Secure Distributed Applications. IEEE Computer Vol. 33(3) (March 2000) 68–76
2. Denley, I., and Weston Smith, S.: Privacy in clinical information systems in secondary care. British Medical Journal 318 (May 1999) 1328–1331
3. Fuchs, N.E., Schwertel, U., and Schwitter, R.: Attempto Controlled English - Not Just Another Logic Specification Language. Lecture Notes in Computer Science, Vol. 1559. Springer Verlag, Berlin, Heidelberg and New York.(1999) 1–20
4. Fuchs, N.E., Schwertel, U., and Torge, S.: Controlled Natural Language Can Replace First-Order Logic. Proceedings 14th IEEE International Conference on Automated Software Engineering, IEEE Computer Society Press, (1999) 295–298
5. Hayton, R., Bacon, J. and Moody, K.: OASIS: Access Control in an Open, Distributed Environment. Proceedings IEEE Symposium on Security and Privacy. IEEE CS Press, Los Alamitos, Calif. (1998) 3–14
6. Hine, J.H., Yao, W., Bacon, J. and Moody, K.: An Architecture for Distributed OASIS Services Proceedings Middleware 2000, Lecture Notes in Computer Science, Vol. 1795. Springer-Verlag, Berlin, Heidelberg and New York. (2000) 107–123.
7. Jones, A.J.I., and Sergot, M.J.: On the Characterisation of Law and Computer Systems:The Normative Systems Perspective In Deontic Logic in Computer Science: Normative System Specification Meyer, J.-J.Ch., and Wieringa, R.J.(eds), John Wiley and Sons (1993)
8. Kamp, H., and Reyle, U.: From Discourse to Logic: Introduction toModeltheoretic Semantics. In Natural Language, Formal Logic and Discourse Representation Theory, Vol.1 and 2, Kluwer (1993)
9. Lloyd, M.: Conversion of NHS Access Control Policy to Formal Logic. MPhil in Computer Speech and Language Processing, University of Cambridge, (2000)
10. Lupu, E. and Sloman, M.: Conflicts in Policy-Based Distributed Systems Management. IEEE Transactions on Software Engineering Vol. 25(6) - Special Issue on Inconsistency Management, (Nov/Dec 1999) 852–869
11. Ma, C., and Bacon, J.: COBEA: A CORBA-based Event Architecture. In Proceedings of the 4th Conference on Object-Oriented Technologies and Systems (COOTS-98), USENIX Association, Berkeley, (April 1998) 117–132
12. Simon, R. and Zurko, M.: Separation of duty in role-based environments. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, Rockport, Mass., (June 1997) IEEE CS Press, Los Alamitos, Calif. 183–194.
13. The Patients’s Charter (for England), January 1997 see http://www.doh.gov.uk/pcharter/patientc.htm
14. UK Government White Paper, “The New NHS: Modern, Dependable”, December 1997 see http://www.doh.gov.uk/nnhsind.htm
15. UK Government White Paper, “Information for Health”, September 1998, see http://www.doh.gov.uk/nhsexipu/strategy/index.htm
16. UK Government White Paper, “The NHS Plan - A Plan for Investment, A Plan for Reform”, July 2000, see http://www.nhs.uk/nationalplan/