[發明專利]一種基于電力系統的安全操作系統設計方法

在審

• 申請號: 201611116546.9
• 申請日: 2016-12-07
• 公開（公告）號: CN108170473A
• 公開（公告）日: 2018-06-15
• 發明（設計）人: 馬炳剛
• 申請（專利權）人: 黑龍江傲立輔龍科技開發有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06Q50/06
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于電力系統的安全操作系統設計方法，其特征在于，所述方法包括以下步驟：

第一步，系統需求分析和規劃設計，

a.選取電力子站作為設計目標，在系統功需求分析的基礎上，研究子站系統在聯網的情況下所面臨的威脅；

b.提出系統設計所遵循的設計模式，并對系統進行層次的劃分和整體框架設計；

第二步，uBLP安全模型的研究及其Z語言規范描述，針對嵌入式系統的固有特點，在分析BLP安全模型的基礎上，設計一個應用于嵌入式安全問題的四LP模型；

第三步，內核安全訪問控制的設計與實現，根據上一步提出的安全模型，實現內核的訪問控制，

a.設計實現安全標記、強制訪問控制、安全審計等功能，對安全內核中各模塊的實現進行詳細地闡述；安全核的設計目標雖然是電力領域的嵌入式設備，但其結構和思想具有通用性，可以移植到其他的嵌入式或通用操作系統；

b.在完成內核設計與實現的基礎上，對擴展層進行分析和設計；

第四步，系統模塊的設計，

a.在實現安全內核的基礎上，提出對內核擴展層的設計；

b.對文件描述符和socket操作訪問控制；

第五步，內核測試和性能分析，通過測試，證明對內核客體對象的訪問控制已符合設計要求，并且系統在增加正確的訪問控制后，實時性能損耗在預想范圍之內，并符合電力領域的實時控制規范。

2.根據權利要求1所述的基于電力系統的安全操作系統設計方法，其特征在于，所述第二步中的四LP模型采用Z語言做形式化規范，包括對模型的定義和轉換規則的規范描述，為以后的證明工作做了鋪墊。

3.根據權利要求1所述的基于電力系統的安全操作系統設計方法，其特征在于，所述第四步中的內核擴展層的設計包括文件系統和網絡接口系統。