普列夫特拉斯

Privtrans:自动划分程序以进行特权分离。特权分离将一个程序分成两部分:一个被称为monitor的特权程序和一个称为slave的非特权程序。所有的信任和特权都会被转移到监视器中,这会导致一个更小、更容易保护的信任基础。以前的权限分离过程,即将一个程序分成监视器和从机,都是手工完成的[18,28]。我们设计技术并开发了一个名为privatrans的工具,它允许我们自动地将特权分离集成到源代码中,并提供了一些程序员注释。例如,我们的方法可以自动集成以前在OpenSSH中手工完成的特权分离,同时享受类似的安全好处。此外,我们还提出了用动态信息增强静态分析的优化技术。我们的优化技术减少了从设备对监视器的昂贵调用次数。我们证明了privatrans通过将特权分离集成到几个开源应用程序中是有效的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献4条)

显示第1到第4个结果,共4个。
按年份排序(引用)

  1. Nikos Vasilakis,Cristian Alexandru Staicu,Greg Ntousakis,Konstantinos Kallas,Ben Karel,AndréDeHon,Michael Pradel:Mir:JavaScript中针对动态库妥协的自动量化特权缩减(2020)阿尔十四
  2. 哈里斯,威廉R。;杰哈,萨梅什;代表,托马斯W。;Seshia,Sanjit A.:交互式安全系统的程序综合(2017)
  3. 西迪罗格鲁,斯泰利奥斯;Keromitis,Angelos D.:防止软件故障的执行事务:使用和评估(2006)ioport公司
  4. 斯泰洛吉欧斯;Keromitis,Angelos D.:防止软件故障的执行事务:使用和评估(2006)ioport公司