2) 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证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进。
3) filling certificate
[专]申请证明书
4) application for evidence preservation
证据保全申请书
6) application
[英][,æplɪ'keɪʃn] [美]['æplə'keʃən]
申请;申请书
补充资料：申请取保候审的申请人获得不被批准原因的权利
申请取保候审的申请人获得不被批准原因的权利：被羁押的犯罪嫌疑人及其法定代理人、近亲属和聘请的律师向人民检察院申请取保候审，人民检察院应当在七日内作出是否同意的答复。经审查符合本规则第三十七条规定情形之一的，对被羁押的犯罪嫌疑人依法办理取保候审手续；经审查不符合取保候审条件的，应当告知申请人，并说明不同意取保候审的理由。《人民检察院刑事诉讼规则》第四十条。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条