网络安全

一张招聘启事,如何暴露韩国核动力潜艇工程

一张招聘启事,如何暴露韩国核动力潜艇工程

韩华海洋刚发了张招聘启事,招核动力潜艇的人。这事儿看着像常规扩编,其实把韩国核潜艇的真实进度全漏了底。5月定计划、7月出草案、8月建机构、9月内阁通过、10月企业成立开发团。这一套连着下来,根本不是放风,是实打实的推进。他们招的五类人全是硬

· 2026-10-15 28 阅读
MCP协议形式化安全规范与验证

MCP协议形式化安全规范与验证

目录引言:MCP 安全问题MCP 协议概述安全属性形式化TLA+ 规约与验证ProVerif 协议验证一致性测试套件安全扩展设计权限模型评估框架前沿挑战参考文献1. 引言:MCP 安全问题MCP(Model Context Protocol

· 2026-10-14 30 阅读
【安全圈】没抓到人,黑客却主动退还 320 枚比特币

【安全圈】没抓到人,黑客却主动退还 320 枚比特币

关键词加密货币这起案件最反直觉的地方在于结局:涉案资产市价超过两千万美元,黑客至今身份未明,双方没有谈判,但被盗的 320 多枚比特币,最后被黑客完整送了回来。整起事件展现了加密世界的底层逻辑:保管漏洞来自人为疏忽,追赃手段依靠截断兑现。一

· 2026-10-14 53 阅读
微软补丁日安全通告|10月份

微软补丁日安全通告|10月份

2026年10月14日(北京时间),微软发布了2026年10月安全更新,共发布了1413个CVE的补丁程序,比上月增多了439个。漏洞数据分析漏洞概要图 近一年微软补丁漏洞修复情况从近一年的修复趋势来看,微软每月的补丁数量整体呈波动上升态势

· 2026-10-14 52 阅读