1) Attestation
[英][,ætes'teiʃən] [美][,ætɛs'teʃən]
可信证明
1.
Secondly,this paper presents a computing platform attestation module:Identity and Policy Based Attestation(IPBA),based on the IPBA,network access contro
其次是基于可信证明技术,采用基于设备身份和安全策略的综合接入设备可信证明方法(Identity and Policy Based Attestation,IPBA)对远程综合接入设备实施网络准入控制,从而提高综合接入系统的安全。
2.
Trustworthiness attestation of computing platform is a focus research work in Trusted Computing.
计算平台状态可信证明是可信计算研究的热点问题。
2) Proven and reliable; trustworthy
经证明可靠的;可信的
3) readable proof
可读证明
1.
The problem of the inequality s readable proof is still unsolved, within which the proving of triangular inequality is one of the most difficult.
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成。
4) vindicability
[英][,vindikə'biliti] [美][,vɪndəkə'bɪlətɪ]
可证明性
5) provable
[英]['pru:vəbl] [美]['pruvəbḷ]
可证明的
6) Proof Information
证明信息
1.
Design of a Proof Information System Based on Isabelle;
基于Isabelle的证明信息系统设计
补充资料：经证
经证
经证 病证名。伤寒病分类法之一。指伤寒病邪侵犯某经时的证候。例如太阳病的恶寒、头痛、发热，阳明病的身壮热、烦渴、自汗，少阳病的往来寒热、胸胁苦满等，均属经证。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条