3) objection requisition
异议申请
5) apply for a review
申请复核
6) SET certificate registration protocols
SET证书申请协议
1.
Based on the Instantiation Space Logic theory and knowledge reasoning,the authors implement the totally automatic verification on the complete SET certificate registration protocols′ authentication and secrecy properties using SPV,and improve the protocols.
基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进。
补充资料:对财产保全或者先予执行的裁定有申请复议的权利
对财产保全或者先予执行的裁定有申请复议的权利:当事人对财产保全或者先予执行的裁定不服的,可以申请复议一次,复议期间不停止裁定的执行。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条