一、 思路1登录日志查看如果当前设备登录日志存在超出预设频率的失败并最终成功，则初步判断为遭受入侵。网络请求监控监控当前设备对外发起的网络请求，如果频繁对外发送登录验证请求则判定为遭受入侵。监控当前设备对外发起的网络请求,若发现当前设备频繁对外发送telnet协议或者ssh协议的登录验证请求,并且对外的登录验证请求涉及的账号或者密码不同,并返回大量错误信息,则判定当前设备遭受入侵并尝试感染其他设备

1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

下载pwn工具的时候，发现换个清华源比较舒服https://pypi.tuna.tsinghua.edu.cn/simple

checksec安装与使用安装sudo apt install checksec报错无处不在，安装的时候出现一下报错：然后换尝试了疯狂换源+updatge不行，最后换了一种安装方式，如下：参考 https://github.com/slimm609/checksec.shgit clone https://github.com/slimm609/checksec.sh将其拷贝到任意全局bin目录下