私人运输公司 swMATH ID: 23074 软件作者： Brumley D、Song D X 描述： Privtrans：自动划分程序以分离特权。特权分离将单个程序划分为两个部分：一个称为监视器的特权程序和一个名为slave的非特权程序。所有信任和权限都被降级到监控器，这将导致更小、更容易保护的信任基础。以前，特权分离过程，即将一个程序划分为监视器和从属程序，是手动完成的[18,28]。我们设计技术并开发了一个名为Privtrans的工具，它允许我们自动将特权分离集成到源代码中，并提供了一些程序员注释。例如，我们的方法可以自动集成以前在OpenSSH中手动完成的特权分离，同时享受类似的安全优势。此外，我们还提出了用动态信息增强静态分析的优化技术。我们的优化技术减少了从设备对监视器进行的昂贵调用的数量。我们表明Privtrans通过将特权分离集成到几个开源应用程序中是有效的。 主页： https://dl.acm.org/citation.cfm？id=1251380 相关软件： 普里夫曼;CSSV公司;MOPS公司;CCured公司;赛车X;层压;梅林;新加坡交易所;F类*;寓言;护城河;能源监管局;VC3（VC3）;J流量;有限责任公司;退休.js;冲突JS;Synode（合成码）;节点.js;净现值法 引用于： 1出版物 4位作者引用 1 威廉·R·哈里斯。 1 Jha，萨默什 1 代表，Thomas W。 1 桑吉特·阿伦库马尔·塞希亚 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文