首页> 外文OA文献 >Checking Secure Information Flow in Java Bytecode by Code Transformation and Standard Bytecode Verification

【2h】

Checking Secure Information Flow in Java Bytecode by Code Transformation and Standard Bytecode Verification

机译：通过代码转换和标准字节码验证检查Java字节码中的安全信息流

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
C. Bernardeschi; N. De Francesco; G. Lettieri; L. Martini;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Checking secure information flow in Java bytecode by code transformation and standard bytecode verification [J] . C. Bernardeschi, N. De Francesco, G. Lettieri, Software . 2004,第13期

机译：通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
2. Using abstract interpretation to add type checking for interfaces in Java bytecode verification [J] . Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini Theoretical computer science . 2010,第22a24期

机译：在Java字节码验证中使用抽象解释为接口添加类型检查
3. Jave bytecode verification for secure information flow [J] . Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2003,第12期

机译：Java字节码验证可确保信息流安全
4. Using standard verifier to check secure information flow in Java bytecode [C] . Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri International Computer Software and Applications Conference, Annual . 2002

机译：使用标准验证器检查Java字节码中的安全信息流
5. Formalizing Java bytecode verifier using Z. [D] . Guo, Rui. 2001

机译：使用Z形式化Java字节码验证程序。
6. Mobile Code Anti-Reversing Scheme Based on Bytecode Trapping in ART [O] . Geonbae Na, Jongsu Lim, Sunjun Lee, 2019

机译：ART中基于字节码捕获的移动码防逆方案
7. Checking secure information flow in Java bytecode by code transformation and standard bytecode verification [O] . BERNARDESCHI C, DE FRANCESCO N, LETTIERI G, 2004

机译：通过代码转换和标准字节码验证来检查Java字节码中的安全信息流

Checking Secure Information Flow in Java Bytecode by Code Transformation and Standard Bytecode Verification

著录项

引文网络

相似文献

相关主题

期刊订阅