M-树

安全处理器体系结构通过提供不受物理和软件攻击的安全计算环境,支持新的应用程序集,如商业网格计算、软件副本保护和安全移动代理。尽管已经提出了许多安全处理器设计,但它们通常在安全性和效率之间进行权衡。本文提出了一种新的安全处理器体系结构M-TREE,它在不损害安全性的前提下提供了显著的性能提升。MTREE体系结构使用了一种新颖的分层消息认证代码树(MACTree),以最小的性能开销保护应用程序的完整性。M-TREE还引入了一种新的一次性pad类加密机制,该机制比现有的基于分组密码的方案具有更高的安全保证,加快了安全计算。根据我们的性能模拟结果,在最坏的情况下,M-TREE完整性检查机制的性能开销仅为14%,比以前提出的技术报告的60%的速度下降了一个实质性的改善。同时,M树加密方案的开销约为30%,而使用分组密码加密的开销为50%。总的来说,我们的M-TREE架构可以提供一个低性能影响的防篡改和篡改明显的计算环境,从而提供一个透明、实用的安全计算平台。


zbMATH中的参考文献(参考文献13条,1标准件)

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

  1. 埃弗拉德,胡格;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  2. 加雷维尔,休伯特;朗,弗里德里克;马泰斯库,拉杜;Serwe,Wendelin:CADP 2010:分布式过程的构造和分析工具箱(2011)
  3. 朗,弗里德里克;萨拉因,格温;赫里尔,雷米;克莱默,杰夫;Magee,Jeff:将FSP转换成LOTOS和automata网络(2010)
  4. 加雷维尔,休伯特;萨拉因,格温;Serwe,Wendelin:关于用CADP验证异步电路的通信硬件进程的语义及其转换为LOTO(2009)
  5. 蒋涛;冯玉才;李国辉;朱红:度量空间中的反向最近邻搜索算法(2009)
  6. 斯科帕尔,汤姆š;Lokoč,Jakub:M-树的新动态构造技术(2009)
  7. 阿尔斯兰,塞尔达尔;Yazici,Adnan:一个使用有序加权聚合的高效图像检索系统(2008)
  8. 萨拉因,格温;克莱默,杰夫;朗,弗里德里克;Magee,Jeff:将FSP转换成LOTOS和automata网络(2007)
  9. 朱伯特,克里斯托夫;Mateescu,Radu:分布式动态模型检查和测试用例生成(2006)
  10. 吕承怀;张涛;史卫东;李显新S.:M-TREE:一种保护软件完整性和隐私的高效安全架构(2006)
  11. Ruxanda,Maria Magdalena:结合颜色和形状特征进行有效索引和图像检索(2006)
  12. 贝尔加米尼,达米安;德索贝斯,尼古拉斯;朱伯特,克里斯托夫;Mateescu,Radu:双模拟器:动态等效性检查的模块化工具(2005)
  13. 萨拉因,格温;Serwe,Wendelin:将硬件过程代数转换为标准过程代数:用CHP和LOTOS说明(2005)