在线社交网络安全运行时验证方法的研究与应用

发布时间：2022-12-11 03:41

　　互联网技术的迅速发展,让现代社会的信息量爆炸式增长。现在人们越来越喜欢在互联网上分享信息,社交网络（Social Network,SN）的出现为数十亿网民提供了快速分享信息的平台。近几年,智能移动设备的普及更加促进了SN的迅猛发展,人们可以通过移动设备随时随地社交和办公,在生活和工作中越来越依赖于SN,国内外热门社交平台的用户数达到了数十亿。庞大用户的数据量使SN成为了网络攻击的重灾区,隐私泄露事件近年来层出不穷,一旦隐私发生泄露,往往涉及大规模的用户,因此SN的安全是不容忽视的。导致隐私泄露原因一方面是SN系统本身的安全性和可靠性不够高,另一方面是用户对自身隐私保护的意识不够强。SN作为一个软件系统,可以用软件验证的方法来提高其安全性和可靠性。然而,传统的软件验证方法比如模型检测、定理证明和测试对于验证复杂的系统存在一些不足。因此,为了提高SN系统的可靠性和安全性,需要采用一种较完善且具备实时性的验证方法。为了验证SN系统,本文提出了一种在线的运行时验证方法。该方法利用源代码插桩技术捕获系统运行时产生的信息,在不需要对系统进行建模的情况下进行实时的验证。首先,获取SN系统的安全相关性... 

【文章页数】：70 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
缩略语对照表
第一章 绪论
    1.1 研究背景
    1.2 研究现状
        1.2.1 社交网络安全研究现状
        1.2.2 运行时验证研究现状
    1.3 研究内容与组织结构
第二章 相关工作及背景知识
    2.1 命题投影时序逻辑PPTL
    2.2 基于PPTL的运行时验证
        2.2.1 三值语义的PPTL
        2.2.2 监控器
第三章 在线运行时验证方法的研究
    3.1 性质监控器的构建
    3.2 源代码插桩技术
    3.3 运行时验证工具
第四章 开源社交网络的验证
    4.1 开源社交网络的选取
        4.1.1 Elgg
        4.1.2 Dolphin
    4.2 Elgg的性质验证
        4.2.1 用户博客的查看权限
        4.2.2 用户资料的查看权限
    4.3 Dolphin的性质验证
        4.3.2 用户登录尝试次数
        4.3.3 用户添加好友
    4.4 实验结果分析
        4.4.1 插桩前后网页响应速度分析
        4.4.2 其他运行时验证工具对比
第五章 总结与展望
    5.1 总结
    5.2 展望
参考文献
致谢
作者简介


【参考文献】：
期刊论文
[1]一种将NFA到最小化DFA的方法[J]. 毛红梅,聂承启.  计算机与现代化. 2004(10)

硕士论文
[1]微博系统的运行时验证研究[D]. 李致远.西安电子科技大学 2018
[2]PPTL符号模型检测方法及工具研究[D]. 刘晓芳.西安电子科技大学 2014



本文编号：3718072