SAFKASI公司 swMATH ID: 20431 软件作者： D.S.Wallach、A.W.Appel、E.W.Felten 描述： SAFKASI：基于语言的系统的安全机制。为了在与受信任代码相同的进程中运行不受信任的代码，必须有一种机制允许危险调用确定其调用方是否被授权行使使用危险例程的权限。Java系统采用了一种称为堆栈检查的技术来解决这个问题。但其最初的定义，就搜索堆栈帧而言，与实际实现的安全性关系不明确，对Java系统的实现过于约束，限制了许多理想的优化，如方法内联和尾部递归，并且通常会干扰过程间优化。我们提出了一种新的基于信任逻辑的堆栈检查语义，并使用安全传递风格的演算实现了该语义，解决了传统堆栈检查的问题。使用安全传递样式，我们可以有效地表示任何方法激活的安全上下文，并且可以通过在系统加载Java字节码之前重写Java字节码来严格构建新的实现。不需要更改JVM或字节码语义。通过结合静态分析和运行时优化，我们的原型实现显示了合理的性能（尽管传统的堆栈检查速度更快），并且对于Java以外的语言来说更容易考虑。我们称我们的系统为SAFKASI（安全体系结构，以前称为堆栈检查）。 主页： http://dl.acm.org/citation.cfm？id=363520 相关软件： 棱镜；J流量；粘合剂；哈斯克尔；毫升 引用于： 3文件 全部的 前5名8位作者引用 1 马丁·阿巴迪 1 Ager，Mads Sig公司 1 马西莫·巴托莱蒂 1 奥利维尔·丹维 1 迪加诺，皮尔保罗 1 吉安·路易吉，法拉利 1 米德加德，一月 1 罗伯托·祖尼诺 2篇连载文章中引用 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 在2个字段中引用 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文