Security specifications

Authors:
Jeremy Jacob
Affiliations:
The Programming Research Group, Oxford, U.K.
Venue:
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Year:
1988

Citing 6
Cited 4

Communicating sequential processes

Communicating sequential processes
A timed model for communicating sequential processes

International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Specification-oriented semantics for communicating processes

Acta Informatica
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
An Improved Failures Model for Communicating Processes

Seminar on Concurrency, Carnegie-Mellon University
On shared systems

On shared systems

Preservation of probabilistic information flow under refinement

Information and Computation
Specifying confidentiality in circus

FM'11 Proceedings of the 17th international conference on Formal methods
The shadow knows: refinement of ignorance in sequential programs

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Information flow in systems with schedulers, Part II: Refinement

Theoretical Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper gives a security and specification-oriented semantics for systems. The semantic model is derived from that for the trace model of Hoare's Communicating Sequential Processes[Ho85] and is used to define various security concepts, such as multi-level secure system, trusted users and integrity. We indicate how implementations of secure systems may be derived from their specifications.