国家教育部博士点基金(20121333110014)
- 作品数：11 被引量：20H指数：3
- 相关作者：申利民尤殿龙王涛马川杨永涛更多>>
- 相关机构：燕山大学河北科技师范学院东北大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金河北省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向Web服务编排端口、流程结构与行为相容性判定
- 2014年
- 成员服务彼此相容是Web服务组合正确执行的必要条件.服务组合演化阶段各成员服务不再将业务过程控制权委托给集成合作方,使服务相容性判定成为难点.将服务编排层的端口、流程结构与行为作为服务相容性判定要素,提出适用于演化阶段的相容性判定机制,每个成员服务分别作为执行者,判定自身与其伙伴服务构成的组合的相容性,使所有服务协同参与相容性判定过程.最后,通过完整的实例描述了相容性判定的过程,使用π演算建模工具MWB验证行为相容性判定的有效性.
- 申利民刘芳尤殿龙
- 一个基于WS-CDL的服务编排行为模型及角色映射被引量：2
- 2014年
- Web服务组合的服务编制过程需要遵守服务编排协议.针对将服务编排协议映射到分散式服务编制这一难点问题,提出了面向角色的WS-CDL映射模型,建立了服务编排协议的行为模型;给出了服务编排协议的行为模型的角色映射规则及实现算法.该模型符合分散式服务编制由各个成员服务独立处理交换信息的特点,通过引入角色映射这一中间环节,解决了因WS-CDL和BPEL在语法上不具有一一对应关系而无法完全直接转换的问题.最后,给出了面向角色的服务编排协议映射的实例分析过程,并通过开发的原型系统,验证了映射规则的正确性和算法的可实现性.
- 尤殿龙申利民王辉耿大伟
- 关键词：WEB服务组合WS-CDL角色映射
- 考虑相似比率的Web服务QoS协同预测被引量：5
- 2016年
- 针对基于皮尔逊相关系数计算相似度的协同预测方法中,忽略Web服务QoS之间的比率关系而造成的预测误差问题,提出一种考虑相似比率的Web服务QoS协同预测方法 SRPre。该方法基于历史QoS数据,将基于用户和基于服务的协同预测方法相融合,引入最小共同调用数阈值削减相似度计算误差,利用最小相似度阈值筛选相似邻居,根据预测对象QoS与相似邻居QoS平均值之比计算相似比率,在协同预测计算过程中加入相似比率获得QoS预测值,通过实际Web服务实验说明了所提该方法在提高预测准确度方面的有效性。
- 申利民杨益良陈真
- 关键词：WEB服务协同过滤
- 基于声誉的供应链企业直接信任评估模型被引量：1
- 2015年
- 为了准确度量供应链企业间的直接信任程度,提出一种基于模糊理论的交易满意度评估方法,从产品质量、产品价格和产品耗时三个方面对企业交易满意度进行评估。在此基础之上建立了一个基于声誉的直接信任度评估模型。通过引入交易满意度、交易金额、交易时刻、交易次数和奖惩因子五个因素,使模型对企业声誉的描述和度量更加全面,进而实现对直接信任度的准确度量。仿真结果表明,该模型通过企业声誉来准确度量供应链企业的直接信任度具有可行性,而且能有效抑制企业的欺诈和投机行为的发生。
- 牛景春申利民
- 关键词：供应链信任模型
- Android应用程序的组件间通信行为检测被引量：4
- 2018年
- Android组件间通信为应用程序带来了便利性的同时也增加了安全隐患,可能导致多个应用程序协作进行共谋攻击.针对该问题,提出一种形式化的方法对Andriod应用程序的组件间通信行为进行建模和检测.通过组件级的数据流分析,为每个组件生成组件数据流图.通过跟踪和分析跨组件边界的数据流找到ICC调用者和ICC被调者.基于Pi演算为组件数据流图进行形式化映射,建立了Android应用程序的行为模型.基于该行为模型,通过分析Intent的异常对基于通信的攻击进行检测.最后,分析和实验了该方法的检测效率,并和相关方法进行了对比,并通过对57个Android Apps的分析和检测,部分的验证了该方法的有效性.
- 马川王涛王涛祁晓园尤殿龙
- 关键词：ANDROID
- 面向用户的柔点柔变范围定量度量技术被引量：1
- 2014年
- 为了解决柔性软件柔点柔变范围度量准确性差和操作性低的问题,以面向用户的柔点为研究对象,提出了软件柔变性模型,建立了柔点变化传播影响图,改进了功能点分析法,给出了柔点柔变范围定量度量模型。在该度量模型中,以柔变部件作为基本度量实体,利用柔变性模型表示柔点、柔变点和柔变项,通过柔点变化传播影响图分析柔点变化传播影响,应用改进的功能点分析法提取软件柔点变化影响的柔变部件,进而计算所有柔变部件的功能点计数,确定柔点柔变范围的定量值。结合实例说明了柔点柔变范围的定量度量过程,分析了柔点柔变范围。
- 申利民王俊飞杨永涛
- 关键词：功能点分析法
- 用于开放企业环境下行为检测的证据信任模型
- 2015年
- 针对开放环境下应用系统中异常行为难以检测和检测率低的问题,提出基于信任的行为多点检测模型以提高对异常行为的区分度,降低行为检测误检率,弥补传统行为检测的不足.模型解决不同检测模型的融合问题,并针对不同的行为规则集给出一种基于行为匹配和行为反馈的通用行为量化方法;运用D-S证据理论构建证据信任模型,并基于基本概率分配函数构建信任三元组,再通过三元组归一化计算综合信任,继而依据可信评估函数综合判定异常行为的可信程度;通过MIT林肯实验室1999 DARPA BSM数据集的一组实验说明该模型的有效性,在提高检测率的同时降低了误检率.
- 申利民李惠清李峰佟连刚
- 关键词：信任
- 基于进程代数的并发行为检测模型被引量：1
- 2014年
- 针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写表达式,向表达式中添加并发操作;然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程3个基本元素,进而建立了模型;最后给出并发行为检测的方法并对模型的时空效率进行了分析和验证。理论分析和实验表明,所提出的方法具有线性的时间和空间复杂度。
- 马川王涛申利民
- 关键词：入侵检测进程代数
- 一种面向分布式系统的行为分析和检测方法被引量：1
- 2014年
- 提出了一种基于进程代数的行为分析与检测方法.通过静态分析二进制码获得系统的控制流程图,并将其转换为进程表达式;通过消除表达式不确定性、添加并发操作以及约简归并等方式对表达式进行重写;根据并发规则消除进程表达式中的并发算子,建立分布式系统的行为检测模型,并给出行为检测的方法.理论分析和实验表明:所提出的方法降低了行为分析和检测的复杂度,在控制流分析方面具有较好的精确性.
- 王涛马川申利民
- 关键词：分布式系统入侵检测并发通信进程代数
- 大粒度Web服务组合业务流程演化类型判定方法被引量：4
- 2014年
- 根据演化类型在服务组合演化中的应用层次,运用互模拟理论,从单个状态节点、单个服务和服务组合三个层面判定演化类型,并给出各自的判定规则。单个状态节点演化类型的判定可以明确节点的外部行为是否发生变化;单个服务演化类型的判定可以得出服务的内部业务流程中状态节点在数量和逻辑关系上的变化情况;服务组合演化类型可以明确全局业务流程的变化。通过一个面向制造服务的大粒度Web服务组合业务流程演化类型判定的实例,说明了规则的应用及有效性。
- 尤殿龙申利民杨永涛
- 关键词：WEB服务组合
