正規化網路安全之研究

Abstract

根據Coulouris等人[9]的看法，一個計算系統之安全策略(Security Policy)必須是可以正規証明的。資訊安全的認定，是通訊主體(Agent)對環境知識(Knowledge)的擁有及對該知識的信任(Belief)。主體所擁有的知識往往是不完全的；欠缺的部份只能假設。本文根據作者所建議的一種在欠缺資訊條件下進行推理(Reasoning by Default[8])的模邏輯(Modal Logic)，建立一個網路通訊之安全模型，對資訊安全作基礎理論研究。文中首先介紹該邏輯之基本結構，其次將此邏輯引入於網路通訊基本模型，建構其公理系統，尤其是介紹發送、接收及安全等基本概念之公理，然後推導出安全的通訊。該理論之實作是一個安全系統的建立。我們建立了一種由小而大的方法－由原子的安全基礎(Atomic Security Base)開始，擴展到完整的安全體系。由於本文只初步的介紹了基本通訊模型，未來將可利用此邏輯對各種通訊協定做正確性檢驗。