马川
- 作品数：20 被引量：28H指数：3
- 供职机构：燕山大学信息科学与工程学院更多>>
- 发文基金：河北省自然科学基金国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 基于Pi演算的Android App权限提升攻击检测被引量：1
- 2020年
- 针对Android App权限提升攻击的问题,基于Pi演算构建了一个形式化的权限提升攻击检测模型。利用扩展后的Pi演算对Android App及其运行时环境进行建模,得到形式化的行为模型;通过将权限安全策略形式化的表示为包含进程表达式的IF-THEN规则,并利用Pi演算的性质进行进程演算和迁移,构建了检测模型,并给出了权限提升攻击检测的方法。理论分析和实验表明,该方法具有线性的时间和空间复杂度,并可以非常容易地将现有的权限安全策略应用在该模型中,保证了模型的精确性。相比其他方法,该方法在提高检测精确性的同时并没有牺牲检测的效率。
- 王涛马川
- 关键词：权限提升进程代数
- 基于进程代数的构件动态演化行为一致性研究被引量：5
- 2009年
- 为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。
- 申利民马川王涛
- 关键词：进程代数
- Android应用程序的组件间通信行为检测被引量：4
- 2018年
- Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成组件数据流图.通过跟踪和分析跨组件边界的数据流找到ICC调用者和ICC被调者.基于Pi演算为组件数据流图进行形式化映射,建立了Android应用程序的行为模型.基于该行为模型,通过分析Intent的异常对基于通信的攻击进行检测.最后,分析和实验了该方法的检测效率,并和相关方法进行了对比,并通过对57个Android Apps的分析和检测,部分的验证了该方法的有效性.
- 马川王涛王涛祁晓园尤殿龙
- 关键词：ANDROID
- 一种基于进程代数的Android组件行为形式化描述方法
- 2021年
- 已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明了方法的正确性和有效性,最后给出了基于模拟机制的行为判定规则,为应用行为的分析和判定提供有效支持.
- 梁东魁申利民申利民马川陈真
- 关键词：进程代数Π演算形式化描述
- Android Apps行为建模与检测关键技术研究
- 随着移动网、传感网、物联网的飞速发展以及BYOD(Bring Your Own Device)办公模式的日益流行，安装在移动设备和智能终端的Android Apps广泛应用于关乎国计民生的各个领域，涉及金融、税务、工商、...
- 马川
- 关键词：移动终端异常检测
- 基于协同模型的航班进离港调度系统
- 引入了基于角色的协同模型,利用这个模型提出了基于协同模型的航班进离港调度系统。利用关注点分离的思想,通过将系统分为底层飞机实体,对飞机协同和监控的角色以及负责协同角色行为的协调器这三个层次,将系统的功能行为与协同行为分离...
- 申利民白莲杨梅马川钱志根
- 关键词：调度系统协调器
- 文献传递
- 一种基于混沌神经网络的作业车间调度算法被引量：3
- 2009年
- 采用基于退火策略的混沌神经网络求解作业车间调度问题(JSP)。通过在Hopfield神经网络(HNN)中引入混沌机制,并结合退火策略控制混沌动态,有效避免了传统HNN极易陷入局部极小的缺陷;同时改进了表示JSP的换位矩阵,给出了包含目标函数的能量函数,保证了网络的稳态输出为全局可行解。与基于模拟退火的HNN和暂态混沌神经网络算法比较表明,该算法在收敛速度和求解准确性上有了很大改进。
- 马川王涛王宝文刘文远
- 关键词：组合优化混沌神经网络作业车间调度能量函数
- 基于上下文相关的软件体系结构求精方法被引量：1
- 2009年
- 为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程。最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型。
- 申利民马川王建龙牛景春彭思维
- 关键词：体系结构形式化上下文相关
- 基于Pi演算的Android多线程程序的数据竞争检测被引量：2
- 2020年
- 针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型。利用扩展后的Pi演算对Android生命周期和多线程框架进行建模,得到形式化的行为模型;通过将安全约束抽象为形式化的IF-THEN规则,并利用Pi演算的性质进行进程演算和迁移,构建了检测模型;将动态检测与静态检测以相同的处理方式结合在检测模型中,并给出了并发行为检测算法和数据竞争检测的方法。理论分析和实验表明,本文所提出的方法具有线性的时间和空间复杂度,相比其他方法,在提高检测精确性的同时并没有牺牲检测的效率。
- 王涛王涛
- 关键词：ANDROIDAPPS数据竞争进程代数多线程
- 协同模型在航班进离港调度系统中的应用被引量：2
- 2009年
- 针对当前航班进离港调度系统中调度效率较低等问题,引入了基于角色的协同模型,利用这个模型提出了基于协同模型的航班进离港调度系统。利用关注点分离的思想,通过将系统分为3个层次,即底层飞机实体,对飞机协同和监控的角色以及负责协同角色行为的协调器,将系统的功能行为与协同行为分离,可以对飞机实体动态绑定,动态调整系统的协同行为,动态配置系统的决策规范,解决了系统的开放性和动态性等问题。
- 申利民白莲隋峰马川
- 关键词：角色协调器开放性动态性
