1
کامپیوتر و شبکه::
توصیف رسمی سطح بالا
Unlike the other classes, the assurance of a Class A1 system is developmental in that the design and implementation of the system follow from a formal top-level specification (FTLS).
An FTLS must specify the functions that the TCB performs and the hardware/firmware support for separate execution domains.
The FTLS of the TCB must be shown to be consistent with the formal model of the security policy.
The TCB implementation must be consistent with the FTLS.
Building a Class A1 system requires diligence from the outset of the development process to build and verify the formal specifications of the system design (FTLS), the security policy, and the TCB of the system.
واژگان شبکه مترجمین ایران