 |
个人信息：Personal Information
教授 博士生导师 研究生导师
主要任职：国家自然基金重大研究计划负责人
其他任职：陕西省网络与系统安全重点实验室无人系统安全方向技术负责人；西安市智能系统安全实验室副主任
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：网络与信息安全学院
学科：网络空间安全
电子邮箱：
Compositional Information Flow Verification for Inter Application Communications in Android System
点击次数：
发表刊物：Lecture Notes in Computer Science
关键字：Android system；Information flow model；Inter-Component Communication；Compositional verification
摘要：Inter-component communication (ICC) is commonly used in Android for information exchange among different components/apps. However, it also brings severe challenges to information flow security. When data is transferred and processed, the diversity of different security mechanisms in various apps make data more vulnerable to leakage. Although there are several analysis approaches on security verification on inter-component information flow, repetitive verification on the same component during complex interactions increases the overhead, which would affect task execution efficiency and consume m
论文类型：Article
通讯作者：习宁
论文编号：ML4CS 2019: 239-252
期号：2019
页面范围：239–252
是否译文：否