15.3 資源分配(FRU_RSA)
子類行為
本子類的要求允許TSF控制用戶和主體對資源的使用,使得不因未授權地獨占資源而出現拒絕服務。
組件層次
FRU_RSA.1最高配額,要求配額機制確保用戶和主體將不會獨占某種受控的資源。
FRU_RSA.2最低和最高配額,要求配額機制確保用戶和主體,至少獲得最小的規定資源且不會獨占受控資源。
管理:FRU_RSA.1
在FMT的管理功能中,可考慮以下活動:
a) 由管理者為用戶組、單個用戶或主體規定某資源的最大使用限度。
管理:FRU_RSA.2
在FMT的管理功能中,可考慮以下活動:
a) 由一管理者為用戶組、單個用戶或主體規定某資源的最小和最大使用限度。
審計:FRU_RSA.1, FRU_RSA.2
如果PP/ST中包含FAU_GEN安全審計數據產生,以下行動應是可審計的。
a) 最小級:由于資源的限制導致分配操作的拒絕;
b) 基本級:對TSF控制資源的資源分配功能的所有嘗試使用。
.
FRU_RSA.1 最高配額
從屬于:無其他組件。
FRU_RSA.1.1 TSF應對以下資源:[賦值:受控資源]分配最高配額,這些資源是[選擇:單個用戶,預定義用戶組,主體 ] 能 [選擇:同時地,在規定的時間間隔內]使用的。
依賴關系:無依賴關系。
.
FRU_RSA.2 最低和最高配額
從屬于:FRU_RSA.1
FRU_RSA.2.1 TSF應對以下資源:[賦值:受控資源]分配最高配額,這些資源是[選擇:個體用戶,定義的用戶組,主體 ] 能 [選擇:同時地,規定的時間間隔內]使用的。
FRU_RSA.2.2 TSF應確保每個 [賦值:受控資源 ]最低量的供應,這些資源是[選擇:個體用戶,定義的用戶組,主體 ] 能 [選擇:同時地,規定的時間間隔內]使用的。
依賴關系:無依賴關系。
推薦文章: