买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：西安电子科技大学

摘要：本发明属于网络监控技术领域，公开了一种基于PPTL3的微信群在线监控方法及系统，首先使用网络爬虫获取微信群的文本，然后使用PPTL3来描述特定的性质并生成对应的监控器，之后使用文本分类技术和关键词过滤获取性质相关的文本，进而判定性质对应的原子命题的真假，最后将原子命题组合成状态子公式输入到监控器中，如果到达TRUE节点，表明性质成立；如果到达FALSE节点，表明性质不成立；如果到达其他节点，说明当前获取到的信息无法判定性质是否成立，需要继续运行。本发明不需要对微信系统进行建模，从而避免传统模型检测方法的状态空间爆炸的问题，并且通过结合多种技术，完成了对微信群的在线监控。

主权项：1.一种基于PPTL3的微信群在线监控方法，其特征在于，所述基于PPTL3的微信群在线监控方法通过使用网络爬虫获取微信群的文本数据，用PPTL3描述性质并生成相应的性质监控器，然后根据文本数据得出性质对应的原子命题的真假值，将原子命题组合为状态子公式输入到监控器中，通过监控器的运行判断特定的性质是否成立；所述基于PPTL3的微信群在线监控方法包括：步骤一，使用网络爬虫动态获取微信群的文本数据，并构建需要验证的性质对应的监控器；步骤二，使用文本分类和关键词过滤识别出性质相关的文本，并根据获取的文本信息给性质对应的原子命题赋值；步骤三，将监控器转换为Java格式，并把原子命题组合为状态子公式输入到监控器中，根据监控器运行结果判定性质是否成立；所述步骤一需要确定微信群需要满足的性质，并采用PPTL3公式描述性质，根据公式得到一个有限状态自动机，也就是性质对应的监控器；所述步骤一中使用网络爬虫获取微信群文本数据的方法包括：准备一个微信账号，并且选定要获取数据的群组，为了完成运行时验证，选取的群组应当较为活跃；运行代码，扫二维码来模拟登录网页版微信，并获取登录状态；开启Wireshark进行抓包，对数据包进行分析，并返回给服务器；代码获取到服务器上的数据，保存在文件中；该网络爬虫是一个Python程序，具体为：定义Chat类表示基本聊天对象，该类拥有微信ID、昵称等属性，拥有发送消息Chat.send,获取头像Chat.get_avatar等方法；定义类User、Friend、Member和MP，均是Chat子类，表示用户、好友、成员、公众号等对象；定义类Bot，用于表示一个Web微信客户端，通过初始类来模拟登录微信，并对微信进行监控，动态获取微信群的文本数据；所述性质监控器是一个Java应用程序，具体为：定义类Edge：用于描述性质监控模块中的边；定义类Solve：用于完成运行时验证的流程，方法为：定义方法conjFormula：用于将原子命题合取成表示系统状态路径的子公式；定义方法verify：将子公式读入监控器中，运行监控器并判断运行状态转移后的节点；定义方法matchEdge：判断当前原子命题的组合是否满足对应的性质监控器边上的信息；定义方法getProp：判断性质对应的原子命题的真假；定义方法monitor：完成对微信群在线监控的流程，得出监控结果；所述性质监控器对微信群监控的方法具体包括：对特定的性质的每个原子命题赋值，并将已经赋值的原子命题作为性质监控器的输入，根据这些原子命题得到性质监控器的下一个节点，通过到达的节点判定性质是否成立；

全文数据：

权利要求：

百度查询： 西安电子科技大学 一种基于PPTL₃的微信群在线监控方法及系统