Computer security policy

A computer security policy defines the goals and elements of an organization's computer systems. The definition can be highly formal or informal. Security policies are enforced by organizational policies or security mechanisms. A technical implementation defines whether a computer system is secure or insecure. These formal policy models can be categorized into the core security principles of: Confidentiality, Integrity and Availability. For example, the Bell-La Padula model is a confidentiality policy model, whereas Biba model is an integrity policy model.

Formal description

If a system is regarded as a finite-state automaton with a set of transitions (operations) that change the system's state, then a security policy can be seen as a statement that partitions these states into authorized and unauthorized ones.

Given this simple definition one can define a secure system as one that starts in an authorized state and will never enter an unauthorized state.

Formal policy models

Confidentiality policy model
  • Bell-La Padula model

Integrity policies model
  • Biba model
  • Clark-Wilson model

Hybrid policy model

Policy languages

To represent a concrete policy especially for automated enforcement of it, a language representation is needed. There exist a lot of application specific languages that are closely coupled with the security mechanisms that enforce the policy in that application.

Compared with this abstract policy languages, e.g. the Domain Type Enforcement-Language, are independent of the concrete mechanism.

gollark: It's definitely one of those sentences.
gollark: But I don't think that's actually the case, and evolution doesn't always do the globally optimal thing.
gollark: If there were no interactions between host-killing-ness and everything else, it would probably be optimal for a virus to do no damage to its hosts.
gollark: It doesn't matter if the host dies if they've already done their spreading.
gollark: I agree, block all ads ever.

See also

References
  • Bishop, Matt (2004). Computer security: art and science. Addison-Wesley.
  • Feltus, Christophe (2008). "Preliminary Literature Review of Policy Engineering Methods; Toward Responsibility Concept". Preliminary Literature Review of Policy Engineering Methods - Toward Responsibility Concept. Proceeding of 3rd international conference on information and communication technologies: from theory to applications (ICTTA 08), Damascus, Syria. pp. 1–6. doi:10.1109/ICTTA.2008.4529912. ISBN 978-1-4244-1751-3.
  • McLean, John (1994). "Security Models". Encyclopedia of Software Engineering. 2. New York: John Wiley & Sons, Inc. pp. 1136–1145.
  • Clark, D.D. and Wilson, D.R., 1987, April. A comparison of commercial and military computer security policies. In 1987 IEEE Symposium on Security and Privacy (pp. 184-184). IEEE.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.