tenance categorisation) 2.8 保证维护(Maintenance of assurance)类和属概览 2.8.1 AMA类:保证维护(Maintenance of assurance) ——当TOE或其环境被改变时,AMA类旨在维护TOE继续达到安全目标的...
基于28个网页-相关网页
引用数字硬件形式化证明的思想,提出了对保证维护进行形式化描述和验证的思路。
Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.
对于这两种情况,所有集群节点都将更改报告给所有集群,并且这种拓扑为跨集群一致地维护状态提供内置保证。
In both of these cases, all cluster nodes report changes to all repositories, and the topology provides built-in assurances that the state will be maintained consistently across the cluster.
这些机构必须保证:他们收集、维护、使用和传输的电子健康信息的完整性、机密性和可用性。
These institutions must guarantee that the integrity, confidentiality, and availability of electronic health information that they collect, maintain, use, and transmit is protected.
应用推荐