An MSLS-EMM for enforcing confidentiality in malicious environments

Bei Wang, Jim Alves-Foss · Communication, Network, and Information Security · 2006

Summary

This paper characterize necessary security properties for an enforcement mechanism that can ensure secure execution of the untrusted programs even though they may be malicious.

Type: article
Published: 2006-01-01
Cited by: 0
References: 15
OpenAlex: https://openalex.org/W41556446
Semantic Scholar: https://api.semanticscholar.org/CorpusID:15409151

Keywords

Confidentiality, Computer security, Computer science, Internet privacy, Physics

References

Foundations for the run-time analysis of software systemsMahesh Viswanathan, Sampath Kannan, Insup Lee — 2000
Covert Timing Channel Analysis of Rate Monotonic Real-Time Scheduling Algorithm in MLS SystemsJoon Son, Jim Alves-Foss — 2006
A Type System for Robust DeclassificationSteve Zdancewic — 2003
Enforceable security policiesF.B. Schneider — 2000
The MILS architecture for high-assurance embedded systemsJim Alves-Foss, Paul Oman, Carol Taylor — 2006
A general theory of composition for trace sets closed under selective interleaving functionsJohn McLean — 1994
Access control by tracking shallow execution historyPhilip Fong — 2004
A general theory of security propertiesA. Zakinthinos, E.S. Lee — 1997
Language-based information-flow securityAndrei Sabelfeld, Andrew C. Myers — 2003
A multi-layered approach to security in high assurance systemsJim Alves-Foss, Carol Taylor, Paul Oman — 2004
Possibilistic definitions of security-an assembly kitHeiko Mantel — 2000
Enforceable security policiesFred B. Schneider — 2000
More Enforceable Security PoliciesLujo Bauer, J. Ligatti, D. Walker — 2002

Cited by

No citing papers recorded for this paper.

Related papers

No related papers recorded.