计算机应用 ›› 2019, Vol. 39 ›› Issue (10): 3002-3006.DOI: 10.11772/j.issn.1001-9081.2019040660

• 网络与通信 • 上一篇    下一篇

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

董海燕1, 于枫2, 程科1, 黄树成1   

  1. 1. 江苏科技大学 计算机学院, 江苏 镇江 212003;
    2. 广西师范大学 计算机科学与信息工程学院, 广西 桂林 541004
  • 收稿日期:2019-04-19 修回日期:2019-06-13 发布日期:2019-08-21 出版日期:2019-10-10
  • 通讯作者: 董海燕
  • 作者简介:董海燕(1972-),男,山西运城人,讲师,硕士,主要研究方向:软件工程、信息系统;于枫(1974-),女,山东济南人,副教授,博士,主要研究方向:计算机网络、可信计算;程科(1972-),男,安徽安庆人,副教授,博士,主要研究方向:计算方法、人工智能;黄树成(1968-),男,江苏连云港人,教授,博士,主要研究方向:数据库。
  • 基金资助:
    国家自然科学基金资助项目(61772244);江苏省现代教育技术研究重点课题(2013-R-25582);江苏科技大学博士启动基金资助项目(1132921303)。

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

DONG Haiyan1, YU Feng2, CHENG Ke1, HUANG Shucheng1   

  1. 1. School of Computer Science, Jiangsu University of Science and Technology, Zhenjiang Jiangsu 212003, China;
    2. College of Computer Science and Information Engineering, Guangxi Normal University, Guilin Guangxi 541004, China
  • Received:2019-04-19 Revised:2019-06-13 Online:2019-08-21 Published:2019-10-10
  • Supported by:
    This work is partially supported by the National Natural Science Foundation of China(61772244), the Jiangsu Province Modern Educational Technology Research Project (2013-R-25582), the Doctoral Startup Fund of Jiangsu University of Science and Technology (1132921303).

摘要: 针对在线应用中用户行为可信性难监测、难评判的现状和当前用户行为可信性分析理论薄弱问题,提出一种基于无干扰理论的在线用户行为可信性分析方法。首先,从执行单步行为的行为实体身份、状态、环境三方面定义单步行为静态可信性,给出静态可信验证策略;然后,从行为执行过程和结果两个角度定义行为动态可信性,给出行为动态可信验证策略;最后,基于单步行为构建用户行为流程,提出基于可信扩展思想的用户行为流程可信性判定定理,并应用无干扰理论进行定理证明。证明过程及结果验证了所提方法的正确性和有效性。

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

Abstract: 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.

Key words: user behavior analysis, credibility analysis, non-interference theory, behavioral dynamic credibility

中图分类号: