XiaoMi-AI文件搜索系统
World File Search System攻击者
松鼠供者及其逻辑
1。简介安全协议如今已广泛用于确保通过Internet等公共渠道进行的交易。常见用途包括敏感信息的安全传输，例如信用卡号或系统上的用户身份验证。因为它们在许多广泛使用的应用中存在（例如电子商务，政府发行的ID），开发验证安全协议的方法和工具已成为重要的研究挑战。这样的工具有助于提高我们对协议的信任，从而对依靠它们的应用程序进行信任。正式的方法已经带来了各种方法，以证明加密促进确实保证了预期的安全性。在这一研究领域的一种有效方法是将密码信息作为一阶术语建模，以及代表攻击者能力的方程理论。最初在[Dolev and Yao 1981]中提出的这个想法多年来得到了完善，导致了各种所谓的符号模型。这些模型包括攻击者的广泛类别，并促进了协议的自动验证。他们导致了成功的工具的开发，例如Proverif [Blanchet 2001]和Tamarin [Meier等。2013]。但是，重要的是要注意，符号模型中的安全性并不一定意味着密码师标准模型中的安全性，称为计算模型。与符号模型相比，验证计算模型的验证技术虽然至关重要，但与符号模型相比通常具有较小的灵活性或自动化。 2023]。验证计算模型的验证技术虽然至关重要，但与符号模型相比通常具有较小的灵活性或自动化。2023]。在该模型中，攻击者由概率多项式时间图灵机（PPTMS）表示，并且证明协议与理想化的，显然是安全的版本没有区别。作为一个例证，秘密键是在计算模型中忠实地建模的，因为长斑点是随机均匀绘制的，而它们是在符号模型中使用抽象名称进行建模的。在符号模型中，两个不同的秘密键由不同的名称表示，这些键不能相等。然而，在计算模型中，就像实际上一样，采样的斑点是相等的（尽管不太可能）。在此列中，我们提出了一种基于逻辑的方法，用于验证计算模型中的加密协议，以及在松鼠工具中实现的一些实际方面[Baelde等。2021; Baelde等。该系统建立在[Bana and Comon-Lundh 2012的计算完整符号攻击者（C CSA）方法上； Bana and Comon-lundh 2014]，依赖于逻辑的象征环境，但避免了上述符号模型的局限性。CSA方法不是通过说明对手可以做什么的规则来建模攻击者功能，而是依赖于攻击者无法做的规范。从加密原始图的安全属性开始，人们得出了表达哪些消息序列的规则是无法区分的。这些
软件供应链攻击中心之旅
开源软件（OSS）在现代应用程序中无处不在。 它可能构成商业应用程序代码的 90% 以上，并且广泛应用于整个技术堆栈以及开发和运营生命周期。 由于现代软件供应链的复杂性，攻击者有多种机会将恶意代码注入开源组件并感染下游用户。 近年来，我们观察到针对 OSS 的攻击数量和类型异常增加 [12]。 例如，最近的一个案例影响了 PyTorch（一种流行的机器学习模型构建框架）的夜间构建：攻击者通过滥用 pip 的依赖项解析机制，通过依赖项潜入恶意代码 [13]。 其他软件供应链攻击（例如，感染 SolarWind 的 Orion 平台 [10]）影响了政府机构和关键基础设施的供应商。因此，一些国家安全机构将软件供应链攻击列为主要威胁之一 [ 2 ], [ 3 ]，并且出现了不同的努力（公共和私人）来提高软件供应链的安全性（例如 SLSA 1 ）。毫无疑问，软件供应链越来越频繁地受到攻击，而且这个问题正在受到业界和学术界的广泛关注。然而，我们也注意到，现有的文献有些零散，这也是因为缺乏关于攻击者如何将恶意代码注入 OSS 项目的通用的、独立于技术的描述。
StealBit 和 ExMatter 的技术分析 | 埃森哲
在最近对 LockBit v2.0 勒索软件的调查中，埃森哲安全公司发现，攻击者最初尝试从远程服务器下载 StealBit，但最终转向开源实用程序 Rclone，因为使用该工具的尝试被阻止了。这个数据点证明了该组织的多功能性，因为它表明，虽然 LockBit 攻击者可能更喜欢使用他们的自定义工具，但他们最终会采用阻力最小的路径来实现他们的目标。此外，StealBit 的开发工作可能已经放缓，因为观察到的较新编译版本来自 2021 年第四季度，其中包括通过删除地理位置限制以及删除创建时间日期戳来实现更广泛定位的更新。
2024 Comcast业务网络安全威胁报告
来自领先的网络安全公司的公开数据，以及我们对广阔客户群的分析，这表明攻击的频率和复杂性显着增加，尤其是在网络钓鱼，勒索软件和面向公共面向公共应用程序的领域。黑暗的网络市场，同时，继续促进复杂的恶意软件，被盗证书和其他非法工具和服务的交换，甚至使新手攻击者甚至可以发起高效的活动。最后，在不解决人工智能的情况下，不可能在2024年谈论网络安全。攻击者是AI最急切的采用者中的一些，利用其大规模创建深层效果和网络钓鱼活动，并使用快速开发的开源工具来创建恶意代码。
图形中永恒顶点覆盖问题的一些算法结果
摘要。永恒的顶点覆盖问题是顶点盖的变体。这是一个两人（攻击者和防守者）游戏，在给定图G =（v，e）的情况下，辩护人需要在某些顶点分配后卫，以便分配的顶点形成顶点盖。攻击者一次可以一次攻击一个边缘，后卫需要沿边缘移动守卫，以使至少一个后卫在攻击的边缘移动，而新的配置仍然仍然是顶点盖。攻击者将获胜，如果没有这样的辩护人。如果存在策略来防御无限攻击序列，则防守者会赢得胜利。防守者可以形成获胜策略的最小后卫人数称为g的永恒顶点覆盖率，并由evc（g）表示。给定图G，找到永恒的顶点覆盖号的问题是通用图的NP-固定，即使在两部分图中也仍然是NP-HARD。我们给出了多项式时间算法，以在链图和p 4 -sparse图中找到永恒的顶点覆盖号。我们还给出了一个线性时间算法，以找到拆分图的永恒顶点覆盖号，这是一个重要的弦图子类。
网络军事、交叉军事缺乏的两种解释……
本文探讨了为什么各国发动了如此多的网络攻击，却很少发起跨域行动（这里指网络和军事领域之间的行动）。我探讨了五种假设，以解释为什么大多数网络攻击不会与军事打击同时发生。我的分析表明，在这五种假设中，有两种是令人信服的。首先，国家攻击者出于基于内部分工的组织原因，做出不“跨域”的战略决策。其次，许多网络攻击者即使将网络和军事力量整合在一起，在跨域行动中仍面临重大技术挑战。其他三个原因不那么令人信服，包括对冲突升级的担忧、适用于网络空间的国际法以及网络空间行为规范。
系统安全编程项目（2025春季）阶段1
第1阶段：安全频道一般说明。在班上有2或3名学生组成的小组中一起工作。截止日期：第1部分设计文档。2/21（星期五）11:59 PM在CMS第2部分扩展系统代码上。 3/5（星期日）11:59 pm在CMS上的键值存储在0阶段0使用网络链接客户端和服务器。 该系统可以由Dolev-yao攻击者颠覆，他可能会插入，修改或监视客户端发送的请求消息或服务器发送的响应消息。 第1阶段的重点是消除这类漏洞。 您将（i）设计协议以抵制Dolev-yao攻击者，（ii）通过扩展阶段0代码来实现这些协议。 因此，阶段1关注使用我们提供的网络创建安全渠道。 此安全频道将启用客户端与服务器之间的身份验证，秘密和完整性保护的通信，反之亦然。 构建阶段0可交付时所做的扩展名导致客户端和服务器之间的交互作用，并最多可以随时进行一次会话。 每个会话从登录操作开始，并以注销操作结束。 审慎的安全工程将使每个会话都使用一个单独的安全渠道，涉及新的秘密。 因此，损害为会话实施的安全渠道不会帮助攻击者损害上一次会话或以后会话期间发送的流量。 加密构建块以实现安全的渠道，您将需要使用加密。 使用这些例程作为您的构建块。2/21（星期五）11:59 PM在CMS第2部分扩展系统代码上。3/5（星期日）11:59 pm在CMS上的键值存储在0阶段0使用网络链接客户端和服务器。 该系统可以由Dolev-yao攻击者颠覆，他可能会插入，修改或监视客户端发送的请求消息或服务器发送的响应消息。 第1阶段的重点是消除这类漏洞。 您将（i）设计协议以抵制Dolev-yao攻击者，（ii）通过扩展阶段0代码来实现这些协议。 因此，阶段1关注使用我们提供的网络创建安全渠道。 此安全频道将启用客户端与服务器之间的身份验证，秘密和完整性保护的通信，反之亦然。 构建阶段0可交付时所做的扩展名导致客户端和服务器之间的交互作用，并最多可以随时进行一次会话。 每个会话从登录操作开始，并以注销操作结束。 审慎的安全工程将使每个会话都使用一个单独的安全渠道，涉及新的秘密。 因此，损害为会话实施的安全渠道不会帮助攻击者损害上一次会话或以后会话期间发送的流量。 加密构建块以实现安全的渠道，您将需要使用加密。 使用这些例程作为您的构建块。3/5（星期日）11:59 pm在CMS上的键值存储在0阶段0使用网络链接客户端和服务器。该系统可以由Dolev-yao攻击者颠覆，他可能会插入，修改或监视客户端发送的请求消息或服务器发送的响应消息。第1阶段的重点是消除这类漏洞。您将（i）设计协议以抵制Dolev-yao攻击者，（ii）通过扩展阶段0代码来实现这些协议。因此，阶段1关注使用我们提供的网络创建安全渠道。此安全频道将启用客户端与服务器之间的身份验证，秘密和完整性保护的通信，反之亦然。构建阶段0可交付时所做的扩展名导致客户端和服务器之间的交互作用，并最多可以随时进行一次会话。每个会话从登录操作开始，并以注销操作结束。审慎的安全工程将使每个会话都使用一个单独的安全渠道，涉及新的秘密。因此，损害为会话实施的安全渠道不会帮助攻击者损害上一次会话或以后会话期间发送的流量。加密构建块以实现安全的渠道，您将需要使用加密。使用这些例程作为您的构建块。将建立与会话关联的安全频道，以响应用户提交登录操作，并应终止安全频道以响应您提交注销请求。执行通用加密功能的代码包含在您使用系统其余部分下载的文件Crypto_utils/crypto_utils.go中。在使用公开密码学的系统中，需要某些手段才能为其他校长提供公共钥匙。经常使用认证授权。我们的项目忽略了图片的这一部分，相反，进行了一些预处理，如下所示。
网络军事、交叉军事力量缺乏的两种解释...
本文探讨了为什么各国发动了如此多的网络攻击，却很少发起跨域行动（这里指网络和军事领域之间的行动）。我探讨了五种假设，以解释为什么大多数网络攻击不会与军事打击同时发生。我的分析表明，在这五种假设中，有两种是令人信服的。首先，国家攻击者出于基于内部分工的组织原因，做出不“跨域”的战略决策。其次，许多网络攻击者即使将网络和军事力量整合在一起，在跨域行动中仍面临重大技术挑战。其他三个原因不那么令人信服，包括对冲突升级的担忧、适用于网络空间的国际法以及网络空间行为规范。
年度暗网报告2024
暗网已成为分发攻击者进行操作所需的一切所需的枢纽。exploits很容易获得，从零日漏洞到完全开发的漏洞利用工具包。这些工具通常带有详细的说明，即使是具有有限技术专长的攻击者也可以有效地使用它们。折衷帐户的凭据，无论是公司网络，云服务还是个人资料，都以充满活力的在线市场进行交易，价格取决于目标的价值。预包装的恶意软件，例如勒索软件即服务平台和信息偷走的木马，也很容易访问，大量泄漏的个人数据也可以访问，这些数据会促进网络钓鱼和身份盗窃等次要攻击。