首页> 外文OA文献 >Generating Verification Conditions from BIRS Code using Basic Paths for Java Bytecode Verification

【2h】

Generating Verification Conditions from BIRS Code using Basic Paths for Java Bytecode Verification

机译：使用Java Bytecode验证的基本路径生成BIRS代码的验证条件

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Je-Min Kim; Seon-Tae Kim; Joon-Seok Park; Weon-Hee Yoo;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 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. Verified Java Bytecode Verification [J] . Gerwin Klein Information Technology . 2005,第2期

机译：经过验证的Java字节码验证
3. Java Bytecode Verification with OCLWhy, How and When? [J] . Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, The Journal of object technology . 2020,第3期

机译：Java Bytecode验证用ocl为何，如何以及何时？
4. Java Bytecode Verification on Java Cards [C] . Roberto Barbuti, Stefano Cataudella Association for Computing Machinery(ACM) Annual Symposium on Applied Computing(SAC 2004) vol.1; 20040314-17; Nicosia(CY) . 2004

机译：Java卡上的Java字节码验证
5. Formalizing Java bytecode verifier using Z. [D] . Guo, Rui. 2001

机译：使用Z形式化Java字节码验证程序。
6. Chemical profile and antioxidant capacity verification of Psidium guajava (Myrtaceae) fruits at different stages of maturation [O] . Heverton M. Araújo, Fabíola F. G. Rodrigues, Wégila D. Costa, 2015

机译：番石榴果实成熟期的化学特征和抗氧化能力验证
7. Checking Secure Information Flow in Java Bytecode by Code Transformation and Standard Bytecode Verification [O] . C. Bernardeschi, N. De Francesco, G. Lettieri, 2008

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

Generating Verification Conditions from BIRS Code using Basic Paths for Java Bytecode Verification

著录项

引文网络

相似文献

相关主题

期刊订阅