電腦安全先驅 Peter G. Neumann 去世，留下安全倡議遺產

•Peter G. Neumann 在 1960 年代參與了 Multics 作業系統的開發，該系統成為早期重要的安全測試平台，為後來的安全理念奠定了基礎。
•他於 1970 年代主導了「可證明安全作業系統」(Provably Secure Operating System, PSOS) 的設計，這是首個基於形式化安全分析的系統設計，強調在實施前進行設計證明。
•自 1985 年起，他創立並持續主持 ACM RISKS Forum (RISKS Digest)，這是一個重要的線上期刊，用於討論電腦系統及相關技術對公眾造成的風險和意外後果。
•他於 1995 年出版了具影響力的著作《電腦相關風險》(Computer-Related Risks)，書中記錄了大量真實世界的系統故障案例，並倡導更好的設計，至今仍具高度相關性。
•Neumann 於 2002 年榮獲美國國家標準與技術研究院 (NIST) 和國家安全局 (NSA) 頒發的電腦系統安全獎，該獎項被視為資訊安全領域最負盛名的榮譽。

Multics 作業系統 (Multics Operating System)：Neumann 在其設計和開發中扮演領導角色，該系統被用作安全測試平台，並引入了多程式設計、多重處理、多重保護域以及與設備無關的 I/O 等概念。
可證明安全作業系統 (Provably Secure Operating System, PSOS)：他於 1970 年代領導了 PSOS 的設計，這是第一個基於形式化安全分析的系統設計，強調在實施前對設計進行嚴格證明。
入侵偵測專家系統 (Intrusion Detection Expert System, IDES)：在 1980 年代，Neumann 與 Dorothy E. Denning 合作開發了 IDES，這是一個電腦入侵偵測系統，為後來的安全軟體提供了模型。
形式化方法與風險規避 (Formal Methods and Risk Avoidance)：他在 SRI International 的研究專注於安全性、密碼學、容錯性、可靠性、安全性、軟體工程方法學以及形式化方法的應用。他倡導「精心構思的規範、更高的保證、應用適用的理論結果、使用合理且基於健全的軟體工程方法，以及在最適用之處精確使用形式化方法」。

未來系統設計將更強調內建安全性與韌性。

Neumann 畢生倡導「設計安全」(secure-by-design) 的系統，並參與 DARPA 關於建立更值得信賴的電腦和網路的專案，這將持續影響未來系統開發的典範。

對於軟體錯誤和系統故障的公開報告和分析將持續重要。

他創立並主持的 RISKS Digest 證明了公開討論和從實際事件中學習對於提升電腦安全意識和改進實踐的價值。

形式化方法在關鍵系統的安全性驗證中將扮演更核心的角色。

Neumann 在可證明安全作業系統 (PSOS) 上的工作以及他對形式化方法的強調，預示了在高度敏感應用中對嚴格驗證的需求日益增加。

1932

出生

1960-1970

在貝爾實驗室工作，參與 Multics 作業系統的開發

1971

加入 SRI International 的電腦科學實驗室

1973

領導可證明安全作業系統 (PSOS) 專案的設計

1985

創立並開始主持 ACM RISKS Forum (RISKS Digest)

1995

出版著作《電腦相關風險》(Computer-Related Risks)

2002

榮獲 NIST 和 NSA 頒發的電腦系統安全獎

2026-05-17

逝世，享壽 93 歲

30 秒速覽