尤里·伊戈里耶维奇·雷布佐夫,一名41岁的乌克兰黑客,网名“MrICQ”,已被逮捕并引渡至美国,以应对2012年的一项指控。雷布佐夫是“Jabber Zeus”网络犯罪团伙的关键开发者,该团伙在2010年至2013年间从美国企业窃取了数千万美元。
该团伙利用定制版的Zeus银行木马,拦截银行凭据,并使用“中间人”攻击修改工资单,将盗窃资金通过“洗钱骡子”转移到乌克兰和英国。雷布佐夫专门负责处理被入侵账户的通知,并协助洗钱。
他与该团伙的领导者维亚切斯拉夫·“Tank”·彭丘科夫有关,后者去年被判处18年监禁。调查显示与原始Zeus木马的作者叶夫根尼·博加切夫以及后来领导“Evil Corp”网络犯罪团伙的马克西姆·雅库贝茨(“Aqua”)有关。威胁情报专家劳伦斯·鲍德温获取该团伙的通讯记录,对于追踪和提醒潜在受害者至关重要,尽管通常是在损失发生之后。
## AWS 中断与竞争条件分析
本文探讨了近期 AWS 中断,具体关注 DynamoDB DNS 管理系统中的一个竞争条件,该中断细节在其事后分析报告中有所描述。该系统涉及 DNS 规划器创建计划,以及 DNS 执行器将其应用于 Route 53。 核心问题在于执行器可能在另一个计划正在应用时删除一个*活动* DNS 计划。
为了演示这一点,作者使用了 Spin 模型检查器和 Promela 语言,创建了该系统的一个简化模型。该模型模拟了规划器和两个并发执行器,跟踪计划版本和 DNS 有效性。 形式化验证虽然并非万无一失,但有助于推理并发错误。
模型检查器识别出一种情况:一个执行器应用了较新的计划并开始清理,而一个落后的执行器应用了较旧的计划,使其成为活动计划。然后,第一个执行器的清理错误地删除了活动计划,导致 DNS 故障。 进行了两个不变式的测试:防止在回归期间删除 DNS,以及防止删除活动计划——两者都违反了模拟的竞争条件。
解决方案涉及原子性地执行关键清理步骤。作者提供了代码示例(有和没有修复的版本),并提供了一个存储库的链接以供进一步研究,承认由于无法访问 AWS 的内部细节,该模型进行了简化。
## Steam平台Linux游戏达到新里程碑
根据2025年10月Steam硬件与软件调查,Steam平台Linux游戏用户已超过3%,这是一个重要的里程碑,得益于Windows 10支持终止和日益增长的采用率。 3.05%的比例看似很小,但上升趋势代表着数百万玩家,根据2022年的数据可能超过400万月活跃用户,并且随着Steam的发展和Steam Deck的成功,这个数字可能更高。
SteamOS仍然是Steam游戏的首选Linux发行版,占比27.18%,但其他发行版如Linux Mint、CachyOS和Ubuntu也在逐渐获得支持。 Steam Deck继续对这些数据产生重大影响,并且对潜在Steam Frame VR套件的期待预示着Linux平台将进一步增长。 这种日益增长的采用率标志着Linux游戏及其在更广泛Steam生态系统中的地位正在积极转变。