Title :
An approach to information security in distributed systems
Author :
Bryce, C. ; Banâtre, J.P. ; Le Métayer, D.
Author_Institution :
INRIA, IRISA, Rennes, France
Abstract :
Information flow control mechanisms detect and prevent illegal transfers of information within a computer system. In this paper, we give an overview of a programming language based approach to information flow control in a system of communicating processes. The language chosen to present the approach is CSP. We give the security semantics of CSP and show, with the aid of examples, how the semantics can be used to conduct both manual and automated security proofs of application programs
Keywords :
communicating sequential processes; distributed processing; security of data; CSP; communicating processes; distributed systems; information flow control; information security; security semantics; Access control; Automatic control; Computer languages; Control systems; Distributed computing; Information security; Iris; Permission; Postal services; Process control;
Conference_Titel :
Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of
Conference_Location :
Cheju Island
Print_ISBN :
0-8186-7125-4
DOI :
10.1109/FTDCS.1995.525008
