科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明属于计算机应用技术领域,公开了一种基于源代码插桩的社交网络安全运行时验证方法及系统,通过对开源社交网络进行代码插桩来捕获事件,用PPTL3来描述性质并生成相应的性质监控模块,然后将事件和性质监控模块输入运行时监控器,运行时监控器自动的监控开源社交网络的运行是否符合给定的性质,并可以在社交网络不满足性质时给出监控信息,避免了模型检测状态空间爆炸的问题,也不需要复杂的定理证明,而且具有良好的实时性。本发明在不影响社交网络正常运行的前提下进行代码的插桩,以此实时的捕获关注的事件并验证性质,解决在大型开源社交网络中,传统模型检测方法的状态爆炸和不具备实时性的问题。
- 单位
