A model for secure distributed computations in a heterogeneous environment
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The author presents a model for secure distributed computations in a multilevel security, heterogeneous environment, called the multimember session model. This model does not place any restrictions on the computations using it, nor does it require any modification of security policies of local secure operating systems. It provides isolation between unrelated computations, and it ensures that the information flow in a distributed environment follows the rules of a multilevel security model, such as the Bell-Lapadula model. Protocols to establish secure communication channels within a session are also discussed Author(s) Pau-Chen Cheng Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA Gligor, V.D.Keywords
This publication has 14 references indexed in Scilit:
- A Formal Method for the Identification of Covert Storage Channels in Source CodePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Subtransport Level: The Right Place for End-to-End Security MechanismsPublished by Defense Technical Information Center (DTIC) ,1987
- A New Security Testing Method and Its Application to the Secure Xenix KernelIEEE Transactions on Software Engineering, 1987
- Covert Channels in LAN'sIEEE Transactions on Software Engineering, 1987
- Design and Implementation of Secure XenixIEEE Transactions on Software Engineering, 1987
- Authentication revisitedACM SIGOPS Operating Systems Review, 1987
- Distributed process groups in the V KernelACM Transactions on Computer Systems, 1985
- Domain names: Concepts and facilitiesPublished by RFC Editor ,1983
- Security Mechanisms in High-Level Network ProtocolsACM Computing Surveys, 1983
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978