基于无干扰理论的在线用户行为可信性分析方法  

Credibility analysis method of online user behavior based on non-interference theory

作　　者：董海燕[1] 于枫 程科[1] 黄树成[1] DONG Haiyan;YU Feng;CHENG Ke;HUANG Shucheng(School of Computer Science, JiangsuUniversity of Science and Technology,Zhenjiang Jiangsu 212003,China;College of Computer Science and Information Engineering, Guangxi Normal University, Guilin Guangxi 541004,China)

机构地区：[1]江苏科技大学计算机学院,江苏镇江212003 [2]广西师范大学计算机科学与信息工程学院,广西桂林541004

出　　处：《计算机应用》2019年第10期3002-3006,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(61772244);江苏省现代教育技术研究重点课题(2013-R-25582);江苏科技大学博士启动基金资助项目(1132921303)~~

摘　　要：针对在线应用中用户行为可信性难监测、难评判的现状和当前用户行为可信性分析理论薄弱问题,提出一种基于无干扰理论的在线用户行为可信性分析方法。首先,从执行单步行为的行为实体身份、状态、环境三方面定义单步行为静态可信性,给出静态可信验证策略;然后,从行为执行过程和结果两个角度定义行为动态可信性,给出行为动态可信验证策略;最后,基于单步行为构建用户行为流程,提出基于可信扩展思想的用户行为流程可信性判定定理,并应用无干扰理论进行定理证明。证明过程及结果验证了所提方法的正确性和有效性。Focusing on the difficulty in monitoring and judging the credibility of user behaviors in online applications and the problem of weak theorey of user behavior credibility analysis, a credibility analysis method of online user behavior was proposed based on non-interference theory. Firstly, the static credibility of single behavior was defined from three aspects - the behavioral entity identity, state and environment of the single behavior, and the static credibility verification strategy was given. Thereafter, dynamic behavioral credibility was defined from the perspectives of execution process and result, and dynamic credibility verification strategy was given. Finally, the user behavior process was constructed based on the single behavior, and the credibility determination theorem of user behavior process was proposed based on the idea of credibility extension, and the theorem was proved by using non- interference theory. The correctness and validity of the proposed method were verified by the provement process and result.

关 键 词：用户行为分析 可信性分析 无干扰理论 行为动态可信 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]