使用MILS体系结构的高保证系统开发
保罗·帕金森
当我讨论VxWorks千对于Wind River的客户，我经常发现除了想了解平台的功能和特性外，他们还对mls体系结构的基本原理和VxWorks mls分离内核的实现方法感兴趣。
我最近写了一份技术白皮书使用MILS体系结构开发高保证系统我的同事阿伦·贝克本文对VxWorks MLS分离内核采用的实现方法进行了技术上的深入探讨，并讨论了如何使用MLS技术来开发复杂的跨域解决方案(CDS)和多级安全(MLS)系统，例如基于MLS的网关。
获取RSS订阅