An approach for analyzing bytecode information flow

被引：0

作者：

Bian, GW ^{[1
]}

Nakayama, K ^{[1
]}

Kobayashi, Y ^{[1
]}

Maekawa, M ^{[1
]}

机构：

[1] Univ Electrocommun, Dept Informat Syst, Tokyo, Japan

来源：

International Symposium on Communications and Information Technologies 2005, Vols 1 and 2, Proceedings | 2005年

关键词：

!text type='Java']Java[!/text] bytecode; dependence analysis; information flow;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Existing approaches are inadequate to address the information flow in Java bytecode and the type systems verification often used in these approaches is imprecise. This paper presents a method to disclose Java bytecode information flow, in which the information dependence relationship among the variables in the bytecode is determined by data-flow analysis and information flow policy is verified by type-checking method. Since the analysis object is bytecode, this approach can be used for Java mobile code systems. The precision of verification can be improved because of this approach.

引用

页码：1060 / 1063

页数：4

共 50 条

[41] Analyzing the Curricular Approach of the Undergraduate Education on Information Systems in Brazil
De Albuquerque, Joao Porto
Prado, Edmir Parada Vasques
Coelho, Fernando De Souza
Celso, Rafael Prado
AMCIS 2011 PROCEEDINGS, 2011,
[42] An Information Density Approach to Analyzing and Optimizing Incremental Redundancy with Feedback
Wang, Haobo
Wong, Nathan
Baldauf, Alexander M.
Bachelor, Christopher K.
Ranganathan, Sudarsan V. S.
Divsalar, Dariush
Wesel, Richard D.
2017 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2017, : 261 - 265
[43] AN APPROACH TO ANALYZING THE INITIAL INFORMATION IN PATTERN-RECOGNITION PROBLEMS
AIDARKHANOV, MB
USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1988, 28 (06): : 105 - 108
[44] Efficient Approach of Analyzing and Generating Intrinsic Information from Weblog
Brijesh Bakariya
National Academy Science Letters, 2021, 44 : 525 - 527
[45] An information theoretic approach for analyzing temporal patterns of gene expression
Kasturi, J
Acharya, R
Ramanathan, M
BIOINFORMATICS, 2003, 19 (04) : 449 - 458
[46] A design approach for analyzing interorganizational information systems Models of Systems
Ann Oper Res, 71 (95):
[47] An Information-Statistical Approach to Analyzing Acoustic Emission Signals
Erofeev, V. I.
Ilyakhinsky, A. V.
Rodyushkin, V. M.
Ryabov, D. A.
Khlybov, A. A.
ACOUSTICAL PHYSICS, 2023, 69 (04) : 559 - 564
[48] Analyzing information system investments: A game-theoretic approach
Butterfield, J
Pendegraft, N
INFORMATION SYSTEMS MANAGEMENT, 2001, 18 (03) : 73 - 82
[49] A semiotics approach to analyzing the information bearing capacity of a data schema
Feng, JK
COORDINATION AND COMMUNICATION USING SIGNS: STUDIES IN ORGANISATIONAL SEMIOTICS 2, 2002, 2 : 233 - 253
[50] CONCEPTUAL APPROACH FOR ANALYZING SOCIAL-EXTERNAL INFORMATION FORCES
HILLS, GE
CRAVENS, DW
TECHNOLOGICAL FORECASTING AND SOCIAL CHANGE, 1975, 8 (02) : 131 - 145

← 1 2 3 4 5 →