Extending The Non-Interference Version Of MLS For Sat
作者： J. Thomas Haigh , William D. Young
关键词: Type (model theory) 、 Access control 、 Theoretical computer science 、 Computer science 、 Non interference
摘要: A non-interference formulation ofMLS applicable to the Secure Ada Target (SAT) Abstract Model is developed. An analogous developed handle SAT type enforcement policy. Unwinding theorems are presented for both MLS and Multi-Domain Security (MDS) shown satisfy MDS. Generalizations extensions also considered.
sci-hub.se 参考文章(0)