Android complex information flow analysis method based on communicating sequential process
Android privacy leak problem is becoming more and more serious.Information flow analysis is a main method to find privacy leak.Traditional information flow analysis methods mainly focus on single accessibility analysis, which is difficult to analyze complex information flow.An information flow analy...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
POSTS&TELECOM PRESS Co., LTD
2021-10-01
|
| Series: | 网络与信息安全学报 |
| Subjects: | |
| Online Access: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2021086 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841529808992862208 |
|---|---|
| author | Zhanhui YUAN Zhi YANG Hongqi ZHANG Shuyuan JIN Xuehui DU |
| author_facet | Zhanhui YUAN Zhi YANG Hongqi ZHANG Shuyuan JIN Xuehui DU |
| author_sort | Zhanhui YUAN |
| collection | DOAJ |
| description | Android privacy leak problem is becoming more and more serious.Information flow analysis is a main method to find privacy leak.Traditional information flow analysis methods mainly focus on single accessibility analysis, which is difficult to analyze complex information flow.An information flow analysis method based on communication sequence process was proposed.The formal model of application behavior was established, which can fully describe the information flow of program.The process trace equivalence analysis method could automatically verify complex information flow problems such as information flow association and information flow constraints.This method could detect whether the application program leaks sensitive information.Experimental results show that the accuracy of the proposed method can reach 90.99%. |
| format | Article |
| id | doaj-art-947ba7479f0846de8bbce79849d7856d |
| institution | Kabale University |
| issn | 2096-109X |
| language | English |
| publishDate | 2021-10-01 |
| publisher | POSTS&TELECOM PRESS Co., LTD |
| record_format | Article |
| series | 网络与信息安全学报 |
| spelling | doaj-art-947ba7479f0846de8bbce79849d7856d2025-01-15T03:15:17ZengPOSTS&TELECOM PRESS Co., LTD网络与信息安全学报2096-109X2021-10-01715616859569109Android complex information flow analysis method based on communicating sequential processZhanhui YUANZhi YANGHongqi ZHANGShuyuan JINXuehui DUAndroid privacy leak problem is becoming more and more serious.Information flow analysis is a main method to find privacy leak.Traditional information flow analysis methods mainly focus on single accessibility analysis, which is difficult to analyze complex information flow.An information flow analysis method based on communication sequence process was proposed.The formal model of application behavior was established, which can fully describe the information flow of program.The process trace equivalence analysis method could automatically verify complex information flow problems such as information flow association and information flow constraints.This method could detect whether the application program leaks sensitive information.Experimental results show that the accuracy of the proposed method can reach 90.99%.http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2021086Androidinformation flow analysisprivacy protectionformal analysiscommunicating sequential process |
| spellingShingle | Zhanhui YUAN Zhi YANG Hongqi ZHANG Shuyuan JIN Xuehui DU Android complex information flow analysis method based on communicating sequential process 网络与信息安全学报 Android information flow analysis privacy protection formal analysis communicating sequential process |
| title | Android complex information flow analysis method based on communicating sequential process |
| title_full | Android complex information flow analysis method based on communicating sequential process |
| title_fullStr | Android complex information flow analysis method based on communicating sequential process |
| title_full_unstemmed | Android complex information flow analysis method based on communicating sequential process |
| title_short | Android complex information flow analysis method based on communicating sequential process |
| title_sort | android complex information flow analysis method based on communicating sequential process |
| topic | Android information flow analysis privacy protection formal analysis communicating sequential process |
| url | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2021086 |
| work_keys_str_mv | AT zhanhuiyuan androidcomplexinformationflowanalysismethodbasedoncommunicatingsequentialprocess AT zhiyang androidcomplexinformationflowanalysismethodbasedoncommunicatingsequentialprocess AT hongqizhang androidcomplexinformationflowanalysismethodbasedoncommunicatingsequentialprocess AT shuyuanjin androidcomplexinformationflowanalysismethodbasedoncommunicatingsequentialprocess AT xuehuidu androidcomplexinformationflowanalysismethodbasedoncommunicatingsequentialprocess |