期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Android应用程序的组件间通信行为检测
被引量:
4
1
作者
马川
王涛
+2 位作者
祁晓园
王倩
尤殿龙
《小型微型计算机系统》
CSCD
北大核心
2018年第1期166-172,共7页
Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成...
Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成组件数据流图.通过跟踪和分析跨组件边界的数据流找到ICC调用者和ICC被调者.基于Pi演算为组件数据流图进行形式化映射,建立了Android应用程序的行为模型.基于该行为模型,通过分析Intent的异常对基于通信的攻击进行检测.最后,分析和实验了该方法的检测效率,并和相关方法进行了对比,并通过对57个Android Apps的分析和检测,部分的验证了该方法的有效性.
展开更多
关键词
ANDROID
组件
间通信
Intents
组件
劫持
运行时检测
在线阅读
下载PDF
职称材料
进程间通信COM组件的设计与实现
被引量:
1
2
作者
邢德奇
张有光
+1 位作者
戴陇咸
马浩凯
《计算机应用》
CSCD
北大核心
2003年第z1期229-230,233,共3页
探讨了应用COM组件来封装进程间的管道通信 ,统一的组件接口屏蔽了局域网和本机间进程间通信的区别。在多种通信手段的调度系统的应用背景下 。
关键词
多种
通信
手段
进程
间通信
COM
组件
接口
在线阅读
下载PDF
职称材料
基于任务间通信的嵌入式组件模型
3
作者
张文嘉
雷航
高峰
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第19期97-99,102,共4页
通用组件技术如COM、CORBA等技术已较完善,但是它们应用于嵌入式系统却有很多局限,如需要庞大的底层基础支持、没有实时调度能力等。根据嵌入式系统以及应用的特点,分析了现有的通用组件模型和当前嵌入式组件技术的发展现状,提出了一种...
通用组件技术如COM、CORBA等技术已较完善,但是它们应用于嵌入式系统却有很多局限,如需要庞大的底层基础支持、没有实时调度能力等。根据嵌入式系统以及应用的特点,分析了现有的通用组件模型和当前嵌入式组件技术的发展现状,提出了一种新的嵌入式组件模型——基于任务间通信的嵌入式组件模型。该模型具有资源消耗小、有实时调度能力、无须大量底层支持的优点,该文介绍了系统框架和实现方法以及组件开发方法。
展开更多
关键词
嵌入式
实时系统
组件
任务
间通信
在线阅读
下载PDF
职称材料
Android组件间通信的模糊测试方法
被引量:
3
4
作者
赵赛
刘昊
+2 位作者
王雨峰
苏航
燕季薇
《计算机科学》
CSCD
北大核心
2020年第S02期303-309,315,共8页
Android操作系统提供了丰富的应用程序间消息传递机制,其中基于意图的通信是Android应用程序组件间的一种重要通信机制。该机制促进了应用程序间的协作,并通过增加组件重用减轻了开发人员的负担。但是这一消息传递机制可能被滥用,例如...
Android操作系统提供了丰富的应用程序间消息传递机制,其中基于意图的通信是Android应用程序组件间的一种重要通信机制。该机制促进了应用程序间的协作,并通过增加组件重用减轻了开发人员的负担。但是这一消息传递机制可能被滥用,例如应用程序将错误消息发送给目标应用程序,从而导致目标应用程序崩溃。针对这个问题,提出一种基于模糊测试的健壮性检测方法,并实现了意图模糊测试工具ICCDroidFuzzer。该方法通过静态分析获取组件相关信息来构造测试套件,并将其发送给目标组件,同时监测Android系统日志,以发现是否存在运行时崩溃。使用ICCDroidFuzzer检测了420个真实的商业应用程序,通过对实验结果进行分析,发现了19种导致应用程序崩溃的异常。该工具可以自动化地对应用程序的健壮性进行测试,适用于没有人为干预的大量Android应用程序的测试。
展开更多
关键词
组件
间通信
意图
模糊测试
健壮性
在线阅读
下载PDF
职称材料
覆盖导向的Android程序多入口测试方法
5
作者
傅洁
郭帆
《计算机科学与探索》
北大核心
2025年第6期1666-1680,共15页
提高Android应用程序的质量是移动设备领域所面临的重要挑战。活动启动作为应用程序的核心功能之一,其正确性和可靠性将直接影响用户体验和应用质量。近期的研究表明,构建意图测试用例可有效检测与活动启动测试相关的问题,但现有方案在...
提高Android应用程序的质量是移动设备领域所面临的重要挑战。活动启动作为应用程序的核心功能之一,其正确性和可靠性将直接影响用户体验和应用质量。近期的研究表明,构建意图测试用例可有效检测与活动启动测试相关的问题,但现有方案在探索效率和发现深层崩溃方面仍存在限制。针对上述问题,提出一个新颖的解决方案CoMuBot。分析路径约束为意图生成合适的属性值,并结合意图模糊测试技术构建模糊的活动启动上下文,从而提高路径覆盖率和测试用例的多样性。设计动态的活动推荐算法及结合最先进的探索工具APE,实现了一个自适应的多入口探索策略。引入覆盖率引导的灰盒模糊测试思想,实现了一个高效的覆盖导向的多入口测试方法。实验结果表明,该方法在探索效率和活动启动准确性方面均优于工具Fax,其中方法覆盖率提升了25.63%,并以高达96.52%的准确率成功启动了62.23%的活动。同时,在独特崩溃检测方面,CoMuBot相比于Fax和DALT展现出了一定的优势,有效提高了应用程序的稳定性和可靠性。
展开更多
关键词
自动化图形用户界面测试
组件
间通信
(
icc
)
模糊测试
符号执行
移动应用程序
在线阅读
下载PDF
职称材料
基于Android权限机制的动态隐私保护模型
被引量:
18
6
作者
戴威
郑滔
《计算机应用研究》
CSCD
北大核心
2012年第9期3478-3482,共5页
针对Android平台自身粗粒度权限机制的缺陷以及缺乏有效预防程序间隐私泄露机制的问题,提出一种改进的细粒度权限配置机制与隐私数据动态着色隔离相结合的Android隐私保护模型。通过对Android应用程序权限进行细粒度的动态配置,阻断隐...
针对Android平台自身粗粒度权限机制的缺陷以及缺乏有效预防程序间隐私泄露机制的问题,提出一种改进的细粒度权限配置机制与隐私数据动态着色隔离相结合的Android隐私保护模型。通过对Android应用程序权限进行细粒度的动态配置,阻断隐私数据从程序内部泄露的途径,利用隐私数据着色跟踪实现对程序间传播的包含不同隐私权限标签的消息的隔离控制。通过大量实验的反复测试,该模型可以有效保护Android程序内部的隐私数据,及时发现程序间权限提升攻击进而实现隐私数据隔离,从而全方位实现Android隐私数据的保护,并为以后相关研究提供了新的方向。
展开更多
关键词
ANDROID平台
隐私保护
权限提升攻击
细粒度权限
动态着色
组件
间通信
在线阅读
下载PDF
职称材料
一种扩展的Android应用权限管理模型
被引量:
9
7
作者
鲍可进
彭钊
《计算机工程》
CAS
CSCD
2012年第18期57-60,64,共5页
现有Android移动操作系统不支持用户自由分配已安装的应用权限。为解决该问题,提出一种细粒度的Android应用权限管理模型。该模型在保证系统安全性的前提下,对现有Android应用权限机制的框架层和应用层进行修改和扩展,使用户可以通过GU...
现有Android移动操作系统不支持用户自由分配已安装的应用权限。为解决该问题,提出一种细粒度的Android应用权限管理模型。该模型在保证系统安全性的前提下,对现有Android应用权限机制的框架层和应用层进行修改和扩展,使用户可以通过GUI界面按需分配系统中已安装的应用权限。实验结果表明,该模型能满足用户的Android应用权限管理需求,并且系统性能损失较小。
展开更多
关键词
安卓
移动操作系统
移动安全
权限控制
安全机制
组件
间通信
在线阅读
下载PDF
职称材料
Android应用程序隐私数据泄露检测
被引量:
2
8
作者
蒋煦
张长胜
+2 位作者
戴大蒙
阮婧
慕德俊
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2016年第12期2357-2363,2379,共8页
针对安卓(Android)系统的隐私数据泄露问题,提出基于半格理论数据流分析的分层架构检测方法.对未获取Root权限的应用程序,根据应用程序申请的权限信息,细粒度地锁定产生污点数据的源函数和泄露隐私数据的锚函数范围.当源函数和锚函数同...
针对安卓(Android)系统的隐私数据泄露问题,提出基于半格理论数据流分析的分层架构检测方法.对未获取Root权限的应用程序,根据应用程序申请的权限信息,细粒度地锁定产生污点数据的源函数和泄露隐私数据的锚函数范围.当源函数和锚函数同时存在于应用程序时,进行数据流分析.当源函数和锚函数位于不同组件时,将组件间通讯(ICC)问题转换为IDE分析问题.实验结果表明,该方法能够有效地检测出应用程序组件内或组件间的隐私数据泄露,正确率达到91.5%;与同类具有代表性的检测工具相比,在准确率和召回率接近的情况下,所提出方法的检测时间明显缩短.
展开更多
关键词
安卓系统
静态检测
隐私数据
组件
间通讯(
icc
)
半格
在线阅读
下载PDF
职称材料
题名
Android应用程序的组件间通信行为检测
被引量:
4
1
作者
马川
王涛
祁晓园
王倩
尤殿龙
机构
燕山大学信息科学与工程学院
河北省计算机虚拟技术与系统集成重点实验室
河北科技师范学院
燕山大学外国语学院
出处
《小型微型计算机系统》
CSCD
北大核心
2018年第1期166-172,共7页
基金
河北省自然科学基金项目(F2016203290)资助
国家自然科学基金项目(61272125)资助
+1 种基金
教育部高等学校博士学科点专项科研基金项目(20121333110014)资助
河北省高等学校科学技术研究项目(QN2016073)资助
文摘
Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成组件数据流图.通过跟踪和分析跨组件边界的数据流找到ICC调用者和ICC被调者.基于Pi演算为组件数据流图进行形式化映射,建立了Android应用程序的行为模型.基于该行为模型,通过分析Intent的异常对基于通信的攻击进行检测.最后,分析和实验了该方法的检测效率,并和相关方法进行了对比,并通过对57个Android Apps的分析和检测,部分的验证了该方法的有效性.
关键词
ANDROID
组件
间通信
Intents
组件
劫持
运行时检测
Keywords
Android
inter-component communication
Intents
component hijacking
run-time detection
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
进程间通信COM组件的设计与实现
被引量:
1
2
作者
邢德奇
张有光
戴陇咸
马浩凯
机构
北京航空航天大学电子工程系
出处
《计算机应用》
CSCD
北大核心
2003年第z1期229-230,233,共3页
文摘
探讨了应用COM组件来封装进程间的管道通信 ,统一的组件接口屏蔽了局域网和本机间进程间通信的区别。在多种通信手段的调度系统的应用背景下 。
关键词
多种
通信
手段
进程
间通信
COM
组件
接口
分类号
TP393.03 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于任务间通信的嵌入式组件模型
3
作者
张文嘉
雷航
高峰
机构
电子科技大学计算机学院
广东拓思软件科学园有限公司
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第19期97-99,102,共4页
文摘
通用组件技术如COM、CORBA等技术已较完善,但是它们应用于嵌入式系统却有很多局限,如需要庞大的底层基础支持、没有实时调度能力等。根据嵌入式系统以及应用的特点,分析了现有的通用组件模型和当前嵌入式组件技术的发展现状,提出了一种新的嵌入式组件模型——基于任务间通信的嵌入式组件模型。该模型具有资源消耗小、有实时调度能力、无须大量底层支持的优点,该文介绍了系统框架和实现方法以及组件开发方法。
关键词
嵌入式
实时系统
组件
任务
间通信
Keywords
Embedded
RTOS
Component
Intertask communication
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Android组件间通信的模糊测试方法
被引量:
3
4
作者
赵赛
刘昊
王雨峰
苏航
燕季薇
机构
北京工业大学信息学部
中国科学院软件研究所软件工程技术研发中心
中国科学院大学
出处
《计算机科学》
CSCD
北大核心
2020年第S02期303-309,315,共8页
基金
国家自然科学基金(61672505)。
文摘
Android操作系统提供了丰富的应用程序间消息传递机制,其中基于意图的通信是Android应用程序组件间的一种重要通信机制。该机制促进了应用程序间的协作,并通过增加组件重用减轻了开发人员的负担。但是这一消息传递机制可能被滥用,例如应用程序将错误消息发送给目标应用程序,从而导致目标应用程序崩溃。针对这个问题,提出一种基于模糊测试的健壮性检测方法,并实现了意图模糊测试工具ICCDroidFuzzer。该方法通过静态分析获取组件相关信息来构造测试套件,并将其发送给目标组件,同时监测Android系统日志,以发现是否存在运行时崩溃。使用ICCDroidFuzzer检测了420个真实的商业应用程序,通过对实验结果进行分析,发现了19种导致应用程序崩溃的异常。该工具可以自动化地对应用程序的健壮性进行测试,适用于没有人为干预的大量Android应用程序的测试。
关键词
组件
间通信
意图
模糊测试
健壮性
Keywords
Inter-component communication
Intent
Fuzzy test
Robustness
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
覆盖导向的Android程序多入口测试方法
5
作者
傅洁
郭帆
机构
江西师范大学计算机信息工程学院
出处
《计算机科学与探索》
北大核心
2025年第6期1666-1680,共15页
基金
国家自然科学基金(61967011)。
文摘
提高Android应用程序的质量是移动设备领域所面临的重要挑战。活动启动作为应用程序的核心功能之一,其正确性和可靠性将直接影响用户体验和应用质量。近期的研究表明,构建意图测试用例可有效检测与活动启动测试相关的问题,但现有方案在探索效率和发现深层崩溃方面仍存在限制。针对上述问题,提出一个新颖的解决方案CoMuBot。分析路径约束为意图生成合适的属性值,并结合意图模糊测试技术构建模糊的活动启动上下文,从而提高路径覆盖率和测试用例的多样性。设计动态的活动推荐算法及结合最先进的探索工具APE,实现了一个自适应的多入口探索策略。引入覆盖率引导的灰盒模糊测试思想,实现了一个高效的覆盖导向的多入口测试方法。实验结果表明,该方法在探索效率和活动启动准确性方面均优于工具Fax,其中方法覆盖率提升了25.63%,并以高达96.52%的准确率成功启动了62.23%的活动。同时,在独特崩溃检测方面,CoMuBot相比于Fax和DALT展现出了一定的优势,有效提高了应用程序的稳定性和可靠性。
关键词
自动化图形用户界面测试
组件
间通信
(
icc
)
模糊测试
符号执行
移动应用程序
Keywords
automated graphical user interface testing
inter-component communication(
icc
)
fuzzing
symbolic execution
mobile applications
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于Android权限机制的动态隐私保护模型
被引量:
18
6
作者
戴威
郑滔
机构
南京大学软件学院
出处
《计算机应用研究》
CSCD
北大核心
2012年第9期3478-3482,共5页
基金
国家自然科学基金资助项目(61105069)
国家"863"计划资助项目(2007AA01Z448)
文摘
针对Android平台自身粗粒度权限机制的缺陷以及缺乏有效预防程序间隐私泄露机制的问题,提出一种改进的细粒度权限配置机制与隐私数据动态着色隔离相结合的Android隐私保护模型。通过对Android应用程序权限进行细粒度的动态配置,阻断隐私数据从程序内部泄露的途径,利用隐私数据着色跟踪实现对程序间传播的包含不同隐私权限标签的消息的隔离控制。通过大量实验的反复测试,该模型可以有效保护Android程序内部的隐私数据,及时发现程序间权限提升攻击进而实现隐私数据隔离,从而全方位实现Android隐私数据的保护,并为以后相关研究提供了新的方向。
关键词
ANDROID平台
隐私保护
权限提升攻击
细粒度权限
动态着色
组件
间通信
Keywords
Android platform
privacy protection
privilege escalation attack
fine-grained permissions
dynamic tainting
inter-component communication
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种扩展的Android应用权限管理模型
被引量:
9
7
作者
鲍可进
彭钊
机构
江苏大学计算机科学与通信工程学院
出处
《计算机工程》
CAS
CSCD
2012年第18期57-60,64,共5页
文摘
现有Android移动操作系统不支持用户自由分配已安装的应用权限。为解决该问题,提出一种细粒度的Android应用权限管理模型。该模型在保证系统安全性的前提下,对现有Android应用权限机制的框架层和应用层进行修改和扩展,使用户可以通过GUI界面按需分配系统中已安装的应用权限。实验结果表明,该模型能满足用户的Android应用权限管理需求,并且系统性能损失较小。
关键词
安卓
移动操作系统
移动安全
权限控制
安全机制
组件
间通信
Keywords
Android; mobile operating system; mobile security; permission control; security mechanism; inter-components communication
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Android应用程序隐私数据泄露检测
被引量:
2
8
作者
蒋煦
张长胜
戴大蒙
阮婧
慕德俊
机构
西北工业大学自动化学院
温州大学物理与电子信息工程学院
温州职业技术学院
出处
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2016年第12期2357-2363,2379,共8页
基金
国家自然科学基金资助项目(6130324)
浙江省自然科学基金资助项目(LY13F020024)
浙江省科技厅公益性资助项目(2014C31079)
文摘
针对安卓(Android)系统的隐私数据泄露问题,提出基于半格理论数据流分析的分层架构检测方法.对未获取Root权限的应用程序,根据应用程序申请的权限信息,细粒度地锁定产生污点数据的源函数和泄露隐私数据的锚函数范围.当源函数和锚函数同时存在于应用程序时,进行数据流分析.当源函数和锚函数位于不同组件时,将组件间通讯(ICC)问题转换为IDE分析问题.实验结果表明,该方法能够有效地检测出应用程序组件内或组件间的隐私数据泄露,正确率达到91.5%;与同类具有代表性的检测工具相比,在准确率和召回率接近的情况下,所提出方法的检测时间明显缩短.
关键词
安卓系统
静态检测
隐私数据
组件
间通讯(
icc
)
半格
Keywords
Android system
static detection
privacy data
inter-component communication(
icc
)
semi-lattice
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Android应用程序的组件间通信行为检测
马川
王涛
祁晓园
王倩
尤殿龙
《小型微型计算机系统》
CSCD
北大核心
2018
4
在线阅读
下载PDF
职称材料
2
进程间通信COM组件的设计与实现
邢德奇
张有光
戴陇咸
马浩凯
《计算机应用》
CSCD
北大核心
2003
1
在线阅读
下载PDF
职称材料
3
基于任务间通信的嵌入式组件模型
张文嘉
雷航
高峰
《计算机工程》
EI
CAS
CSCD
北大核心
2006
0
在线阅读
下载PDF
职称材料
4
Android组件间通信的模糊测试方法
赵赛
刘昊
王雨峰
苏航
燕季薇
《计算机科学》
CSCD
北大核心
2020
3
在线阅读
下载PDF
职称材料
5
覆盖导向的Android程序多入口测试方法
傅洁
郭帆
《计算机科学与探索》
北大核心
2025
0
在线阅读
下载PDF
职称材料
6
基于Android权限机制的动态隐私保护模型
戴威
郑滔
《计算机应用研究》
CSCD
北大核心
2012
18
在线阅读
下载PDF
职称材料
7
一种扩展的Android应用权限管理模型
鲍可进
彭钊
《计算机工程》
CAS
CSCD
2012
9
在线阅读
下载PDF
职称材料
8
Android应用程序隐私数据泄露检测
蒋煦
张长胜
戴大蒙
阮婧
慕德俊
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2016
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部