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 条

[31] Analyzing the Act of a Literary Hero with "Finite Information Flow" Model
Shvetsova, Tatyana V.
Zemlyanikin, Anton P.
TARIH KULTUR VE SANAT ARASTIRMALARI DERGISI-JOURNAL OF HISTORY CULTURE AND ART RESEARCH, 2019, 8 (04): : 320 - 328
[32] Analyzing the Shuffle Model through the Lens of Quantitative Information Flow
Jurado, Mireya
Gonze, Ramon G.
Alvim, Mario S.
Palamidessi, Catuscia
2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, 2023, : 423 - 438
[33] Analyzing information flow in brain networks with nonparametric Granger causality
Dhamala, Mukeshwar
Rangarajan, Govindan
Ding, Mingzhou
NEUROIMAGE, 2008, 41 (02) : 354 - 362
[34] Analyzing information flow properties in assembly code by abstract interpretation
Barbuti, R
Bernardeschi, C
De Francesco, N
COMPUTER JOURNAL, 2004, 47 (01): : 25 - 45
[35] Analyzing Protocol Security Through Information-Flow Control
Kumar, N. V. Narendra
Shyamasundar, R. K.
DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, (ICDCIT 2017), 2017, 10109 : 159 - 171
[36] A Transdisciplinary Approach for Analyzing Stress Flow Patterns in Biostructures
Patel, Reena
Riveros, Guillermo
Thompson, David
Perkins, Edward
Hoover, Jan Jeffery
Peters, John
Tordesillas, Antoinette
MATHEMATICAL AND COMPUTATIONAL APPLICATIONS, 2019, 24 (02)
[37] The Phenomenon of Information. A Conceptual Approach to Information Flow
Weller, Toni
JOURNAL OF LIBRARIANSHIP AND INFORMATION SCIENCE, 2009, 41 (02) : 127 - 128
[38] An Information Flow Based Modeling Approach to Information Management
Malcher Bastos, Carlos Alberto
Moreira, Monica Rodrigues
Martins Bruno, Ana Cristina
Mecena Filho, Sergio
de Farias Filho, Jose Rodrigues
KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, IC3K 2014, 2015, 553 : 586 - 604
[39] A statistical approach for analyzing structural and regulative information in prokaryotic genomes
Paparcone, R
Morosetti, S
Scipioni, A
De Santis, P
BIOPHYSICAL CHEMISTRY, 2006, 120 (01) : 71 - 79
[40] Efficient Approach of Analyzing and Generating Intrinsic Information from Weblog
Bakariya, Brijesh
NATIONAL ACADEMY SCIENCE LETTERS-INDIA, 2021, 44 (06): : 525 - 527

← 1 2 3 4 5 →