An approach to information security in distributed systems

Chenju, Korea August 28-August 30

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/FTDCS.1995.525008

5th IEEE Workshop on Future Trends of ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by C. Bryce Articles by J. Banatre Articles by D. Le Metayer

	ASCII Text	x
	C. Bryce, J. Banatre, D. Le Metayer, "An approach to information security in distributed systems," Future Trends of Distributed Computing Systems, IEEE International Workshop, pp. 0384, 5th IEEE Workshop on Future Trends of Distributed Computing Systems, 1995.

	BibTex	x
	@article{ 10.1109/FTDCS.1995.525008, author = {C. Bryce and J. Banatre and D. Le Metayer}, title = {An approach to information security in distributed systems}, journal ={Future Trends of Distributed Computing Systems, IEEE International Workshop}, volume = {0}, year = {1995}, isbn = {0-8186-7125-4}, pages = {0384}, doi = {http://doi.ieeecomputersociety.org/10.1109/FTDCS.1995.525008}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Future Trends of Distributed Computing Systems, IEEE International Workshop TI - An approach to information security in distributed systems SN - 0-8186-7125-4 SP EP A1 - C. Bryce, A1 - J. Banatre, A1 - D. Le Metayer, PY - 1995 KW - communicating sequential processes; distributed processing; security of data; information security; distributed systems; CSP; information flow control; communicating processes; security semantics VL - 0 JA - Future Trends of Distributed Computing Systems, IEEE International Workshop ER -

C. Bryce, INRIA, IRISA, Rennes, France

J. Banatre, INRIA, IRISA, Rennes, France

D. Le Metayer, 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.

Index Terms:

communicating sequential processes; distributed processing; security of data; information security; distributed systems; CSP; information flow control; communicating processes; security semantics

Citation:

C. Bryce, J. Banatre, D. Le Metayer, "An approach to information security in distributed systems," ftdcs, pp.0384, 5th IEEE Workshop on Future Trends of Distributed Computing Systems, 1995

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.