1) Finite path verification
有穷路径验证
2) path validation
路径验证
1.
Based on a hybrid trust model supporting cross-certification,this paper puts forward two optimizing algorithms about adding path validation into path construction,which support cross-certificate forward path construction on the searching basis of depth first and adjusting strategy tree and sequence validation in the path validation.
在支持交叉认证的混合信任模型的基础上,将路径验证加入到路径构建中,提出一种基于深度优先搜索的前向路径构建的优化算法,以及一种在路径验证时调整策略树及验证顺序的路径验证优化算法。
3) Finite state verification
有穷状态验证
1.
Finite state verification for programs is an approach between theorem proving and testing.
程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。
4) certificate path validation
证书路径验证
5) Validity period of the certificate path
证书路径有效期
6) certification path construction and validation
认证路径构造及验证
补充资料：穷穷
1.轻视﹑侮辱处于困境的人。 2.谓极其困苦。 3.忧愁悲伤貌。 4.谨慎诚笃貌。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条