|
|||||
|
|
Using Control Dependencies for Space-Aware Bytecode Verification |
|
| Authors: | Bernardeschi, C. Lettieri, G. Martini, L. Masci, P. |
| Affiliation: | Dipartimento di Ingegneria dell'Informazione, Università di Pisa, Via Diotisalvi 2, Pisa 56100, Italy |
| Abstract: | |
| Keywords: | Java Card bytecode verification data flow analysis |
| 本文献已被 Oxford 等数据库收录！ | |