安全Adept-50运行于IBM/360硬件平台，它以一个形式化的安全模型——高水印模型（high-water-mark model）为基础，实现了美国的一个军事安全系统模型，为给定的安全问题提供了一个比较形式化的解决方案。
基于24个网页-相关网页
high-water-mark model
高水标模型
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动