未来，核武器可能也用区块链进行控制？

爱范儿 · 公众号 · 科技媒体 · 2016-10-11 17:12

正文

其中，Galois 被公认为“形式验证（Formal Verification,）”领域的领军企业。至于“形式验证”则可以概括为：通过形式化验证过程，证明一个系统不存在某个缺陷，同时匹配某个或某些属性。

而 KSI 系统主要目标是互联网中的 APT（Advanced Persistent Threat，高级持续性威胁）攻击，因为前者能够将网络中的证据保存下来。即便黑客能够突破漏洞、修改系统日志文件、甚至是调整安全软件的白名单，但是只要留有踪迹，从能将其绳之于法。

DARPA 负责区块链的项目经理 Timothy Booher 还专门给出了一个比喻—— 与其继续加高城堡的城墙，倒不如先搞清楚城堡是否被潜入，以及他们在做什么。

为什么会找上区块链？

推荐文章

新浪科技 · 【#现货黄金日内跌1.02%#】#现货黄金跌破3350关口#现货-20250603222000

昨天

新浪科技 · 【#雷军也不知道苹果为啥造车失败#：我也不知道，但苹果是最伟大的-20250603195000

昨天

新浪科技 · 【#哪吒汽车被处罚##哪吒汽车违反劳动保障条例被罚# 】天眼查深-20250603111316

昨天

虎嗅APP · 零公里二手车，大部分出国了

2 天前

新浪科技 · 【#金价年内涨超25%#】#金价冲破3350美元关口##金价#现-20250602175855

2 天前

E药经理人 · 【高考季】医药企业家流派：沈药系 and 川大系

8 年前

中国基金报 · 再见，王石；你好，郁亮

7 年前

鱼羊密史 · 世界上五个最不务正业的科学家！看完三观碎了一地……

7 年前

方正证券研究 · 早安！方正最新观点20170818

7 年前

KnowYourself · “生而为人，我很抱歉”| 为什么我觉得自己不配被爱？

7 年前