1) high dependability
高可信
1.
After analyzing status quo of high dependability safeguard mechanism,an integrated high dependability safeguard systematic framework supporting multilevel criticality in which several subsystems share the same system resources is brought forward.
为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 。
2) high assurance
高可信
1.
The algorithm achieves the requirement of trust modular minimum in high assurance architecture by dividing the transaction manager form the trust modular.
该算法通过将锁表分为多个密级 ,当锁冲突时高密级事务部分回滚的方式来避免在多级安全数据库中实施两阶段锁协议时的隐通道问题 ,同时为了应用于高可信体系 ,算法通过将事务管理器从可信模块中分离出来的方法来实现高可信体系中可信模块最小化的要求。
2.
The paper analyses the design of high assurance DMBS architecture based on trusted subject.
分析了基于可信主体的DBMS高可信安全体系的设计方法,通过一个基于角色机制的DBMS体系结构设计实例,探讨了在高可信的要求下DBMS的存取控制、体系、TCB和事务处理的设计,最后给出了该DBMS设计中存在的问题及下一步的工作。
3) high-dependable
高可信
1.
Energy-efficient task allocation for high-dependable cluster computing systems
面向高可信集群计算的能量有效任务分配
2.
This paper presents high-dependable software design model and algorithm used in space-robot software.
提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。
4) high credibility network
高可信网络
6) high-assurance software
高可信软件
1.
Thus more and more research focuses on the development of high-assurance software.
随着软件规模和复杂度的日益提升,软件安全的问题变得越来越严峻,同时有越来越多的研究工作集中在高可信软件的开发上。
补充资料：可信区间
可信区间
是以上、下可信限为界的一个范围。是按一定的概率估计总体参数的可能范围。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条