密码协议形式化分析与可证明安全实验1——使用proverif来分析密码协议
实验环境： Windows 11 X64根据ProVerif用户手册1.4.3节，Windows用户可以使用二进制发行版安装ProVerif。首先现在你想要的文件路径中新建一个proverif文件夹。
某60区块链安全之Create2实战二学习记录
理解区块链安全的概念和常见漏洞类型；掌握审计区块链安全所需的各种预备知识，包括公链安全基础、智能合约安全基础、智能合约漏洞基础、智能合约高级漏洞进阶知识和相关操作等。熟悉区块链公链、以太坊架构、关键技术、智能合约编写、智能合约常见漏洞知识；掌握区块链公链漏洞、以太坊智能合约审计、漏洞挖掘与利用等重要
来自中国黑客发现的0Day漏洞；2023年恶意文件数量每日激增3%| 安全周报2352
Barracuda透露，中国威胁参与者利用其电子邮件安全网关（ES6）设备中的一个新的零日漏洞，在“有限数量”的设备上部署了后门。
前端 JS 安全对抗原理与实践
如今这个时代，数据已经变得越来越重要，网页和APP是主流的数据载体，如果获取数据的接口没有设置任何的保护措施的话，数据就会被轻易地窃取或篡改。除了数据泄露外，一些重要功能的接口如果没有做好保护措施也会被恶意调用造成DDoS、条件竞争等攻击效果，比如如下几个场景：一些营销活动类的Web页面，领红包、领
海康威视摄像头+服务器+录像机配置校园围墙安全侦测区域入侵侦测+越界侦测
1、校园内，防止课外时间翻越围墙到校外、从校外翻越围墙到校内；2、通过服务器+摄像头的侦测功能及时抓图保存，为不安全因素提供数字化依据；3、网络录像机保存监控视频，服务器保存抓拍到的入侵与越界；4、本例采用虚拟化服务器server2008R2+server_u15+海康威视摄像头；5、把不安全的行为
企业如何做到安全又极速的分发传输大文件
在当代企业运营中，文件的传输和分发是至关重要的任务。然而，随着文件体积的增大和信息敏感性的凸显，企业需要找到一种既安全又能够高效传输大文件的方法。本文将深入探讨如何在企业环境中实现安全又高效的大文件传输。
美国安规测试UL 60335-2-3 安全标准家用和类似用途电器安全第 2-3 部分:电熨斗的特殊要求
本 UL 标准基于 IEC 出版物 60335-2-3:6.1 版，家用和类似用途电器-安全-第 2-3 部分:电熨斗的特殊要。对于许多器具表面的温度要求，除第 1 部分或第 2 部分标准外，不适用通用标准，如 ISO 13732-1 热表面标准。家用和类似用途电器标准-安全-第 2-3 部分:电熨
信息系统安全——基于 KALI 和 Metasploit 的渗透测试
1、熟悉渗透测试方法2、熟悉渗透测试工具 Kali 及 Metasploit 的使用
Apache Tomcat CVE-2020-1938 漏洞
Apache Tomcat CVE-2020-1938 漏洞
70内网安全-域横向内网漫游Socks代理隧道技术(下)
这节课解决代理的问题，他是内网里面的穿透技术，隧道主要安全设备和流量监控的拦截问题，我们在做渗透的时候需要回显数据或者一些重要的信息，走的协议不一样，tcp/ip有七层，在不同层里面有不同的协议，有一些协议会受到防火墙，过滤设备和流量检测工具的干扰，在内网回显数据和拖数据的会出现一些拦截和告警，隧道
Windows 安全基础——Windows WPAD篇
WPAD全称Web Proxy Auto-Discovery Protocol， 也就是Web代理自动发现协议。（这里的代理就是我们在渗透中使用BURP的时候修改的代理设置。）它的作用是让局域网浏览器自动发现内网中的代理服务器，并且自动设置成该代理来连接企业内网或者互联网。
揭密支付安全：为什么你的交易无法被篡改
本文主要讲清楚支付系统中为什么要做签名验签，哪些是安全的算法，哪些是不安全的算法，以及对应的核心代码实现。通过这篇文章，你可以了解到：1. 什么是签名验签2. 支付系统为什么一定要做签名验签3. 哪些是安全的算法，哪些是不安全的算法4. 常见签名验签算法核心代码5. 联调中常见的问题
移动安全威胁：今天和明天的危险
从本质上讲，今天的威胁不会消失，而是会演变或改变目标。
守护安全，六氟化硫气体泄漏报警装置校准服务
当使用以SF6气体为绝缘和灭弧介质的室内开关在使用过程中发生泄漏时，泄漏出来的SF6气体及其分解产物会往室内低层空间积聚，造成局部缺氧和带毒，对进入室内的工作人员的生命安全构成了严重的危险。《电业安全工作规程》（发电厂和变电站部分）特别规定，装有SF6设备的配电装置室必须保证SF6浓度小于1000p
用科技守卫安全：基于飞凌嵌入式RK3568J核心板的司机权限信息采集器方案
基于飞凌嵌入式RK3568J核心板的司机权限信息采集器方案
安科瑞故障电弧探测器监测线路老化短路助力电气安全
由此可见，对其进行深入研究分析并设计电弧保护具有较为重要的意义与作用，能够合理降低故障出现概率，延长其生命周期，减少故障维修时投入的资金成本，具有较为显著的经济效益。照明线路故障引起的火灾占电气火灾的10％左右，此类建筑的顶部较高，发火灾在不容易被发现，也没法在其上面设置其他探测器，只有设置具有探测
二、安全与风险管理—风险管理
CISSP 二、安全与风险管理—风险管理
思福迪运维安全管理系统 test_qrcode_b RCE漏洞复现
思福迪运维安全管理系统是思福迪开发的一款运维安全管理堡垒机。
云安全技术(三）之云计算相关的安全概念
1、加密技术:有许多不同类型和等级的加密技术。在云环境中，云安全专家有责任评价应用程序的需求、所使用的技术、需要保护的数据类型，以及监管合规或/和合同的需求。2、传输状态数据:传输状态数据(Data in Transit，DiT)指数据由应用程序处理、在内部系统遍历或在客户端和应用程序之间传输时的状
解读 Sobit v2：铭文资产跨链更注重安全、易用性
事实上，铭文资产跨链的速度相对缓慢，这通常取决于 BTC 链上的一个实际情况（这是不可控的），所以通常造成铭文资产的跨链的效率是不可控且不可预知的。除了 v2 外，Sobit 也有望不久发布 v3 版本，在该版本中一个重要的功能包括 Launch List，支持 BRC20 资产/项目在 Sobit
