Stack inspection and secure program transformations
Stack inspection and secure program transformations
复制标题
堆栈检查和安全程序转换
DOI：
10.1007/s10207-004-0038-8
复制
发表时间：
2004
影响因子：
3.2
通讯作者：
G. Ferrari
中科院分区：
文献类型：
--
作者：
Massimo Bartoletti;P. Degano;G. Ferrari
本文重点介绍栈检查、Java实现的访问控制机制以及Java的栈检查机制。我们引入了一个静态分析，它安全地近似在运行时授予代码的访问权限。这一分析为减少栈检查的运行时开销以及与其他程序转换的结合提供了依据。
This paper focuses on stack inspection, the access control mechanism implemented in Java and the CLR. We introduce a static analysis which safely approximates the access rights granted to code at run time. This analysis provides us with the basis to reduce the run-time overhead of stack inspection and in combination with other program transformations.