03 2019 档案
摘要：1、下载 Grammarly for Microsoft for Office 2、关闭Microsoft相关软件 安装下载的 apps 3、注册账号 如果不能注册账号可以FQ注册*（FQ代理的deam在我的口口群里可以下载790347368） 4、开启检测范围，一般是默认的语法或者单词等 （这里检
阅读全文
摘要：发现之前记录的存在忽略，把存在的一个重要问题遗漏了，Endnote中文文献导入无法导入，软件奔溃问题，现在在原先基础上补上（补到最后）： ..一路绿色φ(>ω<*) φ(>ω<*) φ(>ω<*) ∑(っ°Д°;)っ卧槽，不见了 不过我的Microsoft Office 2013 还是正版的 扯淡不
阅读全文
摘要：1、Security Protocol ：a domain analysis 一个安全协议描述了很多的行为，每一个行为称为角色，例如触发角色和 接受角色，一个系统有多个通信代理组成，每一个代理扮演一个或者多个角色（或许来自不同的协议） 代理执行的角色叫做一个运行。 协议规范: 描述了么一个角色的行为
阅读全文
摘要：/etc/init.d/networking restart service newworking restart ifdown eth0 ifup eth0 ifconfig down eth0 ifconfig up eth0 service network-manager restart
阅读全文
摘要：1、使用Metasploit 渗透测试的思维导图 ： 链接地址 https://www.processon.com/mindmap/59f9d054e4b0edf0e25d9b84 2、samba 服务 解释 Samba是在Linux和UNIX系统上实现SMB协议的一个免费软件，由服务器及客户端程序
阅读全文
摘要：1、任何软件额发布都会有说明文档，有的不会附具体实践的操作步骤，存在不懂得问题一般可以通过查看榜文文档解决问题 一些软件的帮助文档是一PDF格式存储在软件安装的目录下面，如Niagar workbench 的帮助文档的说明书就在 docs 目录下面 2、 组成结构 Paltform 屏蔽操作系统特性
阅读全文
摘要：1、Scyther 协议安全模型的验证实例 第一部分： 打开协议模型 ，设置攻击变量的参数执行分析 Scyther is a tool for the formal analysis o the security protocol under the perfect Cryptography , t
阅读全文
摘要：1、性能分析 目前来说形式化的分析已经成为安全协议的一种很流行的方法，但是每种工具都用其不同适合的协议，Scyther软件是一种形式化分析工具，极大的促进了协议的分析和设计，scyther工具在运行界面和安全模型以及搜索等方面的综合性优势，形式化分析的方法源自于数学原理和逻辑推理，使用严格的语法和与
阅读全文
摘要：1、基本的linux 服务器防火墙配置 2、配置之前如果需要将之前的所有规则清楚 iptables -F 清除预设表filter中的所用规则链的规则 iptables -X 清除预设表中使用者自定义链中的规则 iptables -s 查看配置的规格 iptables -A INPUT -i lo -
阅读全文
摘要：一、Ethernet/IP 协议 将标准的TCP/IP以太网延伸 到工业实时控制并和通用工业协议（CIP）结合，将很好地帮助用户获得更加开放集成的工业自动化和信息化的整体解决方案。EtherNet/IP 就是为实现这一目的的标准工业以太网技术。Ethernet/IP是一个面向工业自动化应用的工业应用
阅读全文
摘要：1、常使用的进程管理命令 ps 显示显示主动的进程 、 top 显示所用运行的进程 、 关闭进程 kill [pro Number ] 、 关闭名为H的所有进程 killall hello、 强制关闭一个进程 kill -9 [pro Number ] 判断当前账户得我权限 使用 id 、 显示正常
阅读全文
摘要：1、Station站点的结构图 2、niagara 结构框架图 Niagara 系统的架构是围绕着“以组件（Component）为导向的编程”为核心设计的。组件（Component）是使用Java 编写、打包、部署为模块（modules）的自包含单位，多个组件（Component）通过连线连接构成一
阅读全文
