1、最早提出对安全协议形式化分析思想的是Needham和Schroeder[8] 1978年他们为进行共享和公钥的认证的认证服务系统的实现建立了安全协议即Needham-Schroeder安全协议，（简称NS安全协议）这个协议在信息安全领域产生了深远的影响，引发了安全协议领域的许多重要问题的研究，这个协议最初...

1、WAF攻击    如何绕过WAF的防御策略：    攻击方进行SQL注入尝试绕过WAF检测，    攻击结果：攻击方通过构造超长数据包，成功绕过WAF规格检测，并SQL注入获取数据库名，防守无法检...

一、国内外有很多优秀的黑客技术网站和社工查询的连接地址的资料做一个整理1、MAC地址查询网站（包括手机MAC和电脑MAC地址）------可查询对应的信息如下截图  链接地址：https://mac.51240.com/94-87-E0-59-BD-00__mac/ 2、一个国外的论文写作...

 1、ssh  SecureShell的缩写，DDOS分布式决绝服务（DDOS：DistributedDenialofservice）攻击，借助客户端和服务器技术，将多个极端及联合起来作为攻击平台，对一个或者多个目标发动DDOS攻击，从而成倍的提高拒绝服务攻击等能力，攻击者使用一个偷窃账号...

1、渗透测试是通过恶意黑客的攻击手段和方法，来评估网络系统安全性的一种方法，漏洞评估偏重于检查系统和服务时都存在安全问题，渗透测试主要执行漏洞来验证系统确实存在漏洞传统的渗透测试方法对工业控制系统基础设施会造成严重的影响，应当注意使用适当的方法。工控设备检测：主要包括工控设备资产收集工控设备漏洞挖掘漏洞分析验证健壮性测...

1、最终的目的是如何将协议的不安全因素进行改进，提升安全性能。对协议中有关的加密和认证的过程进行形式化分析验证的时候通过添加敌手模型的（DY模型和eCK强安全模型），接受者和发送者之间的通信过程可能存在被攻击者干扰，即就是存在攻击输出。那么我们的目的就不光光是验证了现有协议确实在哪一个方面确实存在攻击点位。而是通过对协...

1、Scyther形式化分析工具可以对协议进行形式化描述，验证协议的机密性和可认证性是否存在安全威胁。在攻击时支持会话轮数无限次执行，同时支持在强安全模型和Delov-Yao模型。在对要形式化分析的协议算法方面并不支持含有 “”XOR“”运算代数性质和&ldqu...

 ...

  Scyther软件是瑞士苏黎世大学CassCremers开发的形式化分析工具，该工具对于无限会话以及无限状态集合的协议可以给出明确的终止，并且支持多协议的并行分析，Scyther系列的工具包括Scyther和Scyther-Compromise（在我得论文中使用的是Scyther-Comprom...

 ...

1、  EtherNet/IP:   设备可以用户数据报协议（UDP）的隐式报文传送基于IO的资料，用户传输控制协议（TCP）显示报文上传和下参数，设定值，程式，用户主站的轮询从站周期性的更新或是改变状态COS，方便主站监控从站的状态，讯息会使用UDP的报文发送出去&n...

         个人信息安全：  信息安全状况不能说真的很糟糕，但是确实很糟糕，有点自相矛盾，极力建议大家不要随便在网页上或者浏览器上下载app安装到手机，其次没有用的app或者功能重复的app就不要安装了（...

 一、  工业控制系统（IndustrialControlSystem，ICS）是多种工业控制系统的总称，包括了监控系统、数据采集系统（SCADA）、集散控制系统（DCS）、可编程控制器（PLC）等。随着IT事业的蓬勃发展，工控系统的安全现在是一个大的国家短板安全问题自从Sutxnet蠕虫...

针对最近课题组的小项目研究提出家用摄像头的安全隐患检测和防护方案 一、第一部分先讲摄像头的渗透问题，大家可以对其中的安全问题有一个清晰地认识。   1、摄像头以及其他工控硬件的漏洞暴露问题      这里只拿摄像头做案列...

最近遭到一个流氓电话骚扰，真的很烦人，想来我的手机号码是新的，什么原因造成的号码泄露，单单是号码泄露还不至于严重，如果我的其他信息也像号码泄露方式一样被泄露就严重啦，现在已经没有绝对的安全可言，只要有人想查，就如同在一个露天的浴室里洗澡一样可怕。泄露存在很多原因，有个人原因，还用外在原因，我们能做的就是尽量的减少自己造...