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证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进。
补充资料：对商标申请复议和提起行政诉讼的权利
对商标申请复议和提起行政诉讼的权利：对工商行政管理部门根据《著作权法》的规定作出的罚款决定。当事人不服的，可以在收到 通知十五天内，向人民法院起诉：期满不起诉又不履行的。由有关工商行政管理部门申请人民法院强制执行。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条