Abstract
There is no doubt that the privacy of individuals, the confidentiality of information about them, the integrity of transaction holding and the availability of service systems are all essential; threats in any one of these aspects is costly and could lead to disaster. Securing computer services has been considered a core part of any new development, one of which is clinical information systems. In this paper we discuss a security policy model for a clinical information system and investigate whether logical languages can represent the principles of this kind of model. We have used three logical security languages: the Authorization Specification Language (ASL), a Language for Security Constraints on Objects (LaSCO) and Ponder: a Language for Specifying Security and Management Policies for Distributed Systems. We will also study whether these principles are sufficient to deal with the case of multi-agency services and sharing information with different agencies such as social services, police and education authority.
