1) supplemental agreement
追加协议
2) cryptographic protocols
加密协议
1.
Improved formal model and algorithm for verifying cryptographic protocols;
改进的加密协议形式化验证模型和算法
2.
Formal method is an important way of verifying cryptographic protocols.
形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 。
3.
In this dissertation we present a general,extensible methodology that examines cryptographic protocols.
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。
3) encryption protocol
加密协议
1.
Integrating semi-fragile watermarking,steganographia and elliptic curve cryptosystem,a more secure encryption protocol is introduced in the paper.
结合半脆弱水印、信息隐藏和椭圆曲线密码体制,提出了一种比较完善的安全加密协议。
2.
A formal approach to verifying encryption protocols is studied.
探讨了形式化验证加密协议的方法，用时序逻辑验证了单向保密协议的安全性缺陷。
4) Locking protocol
加锁协议
1.
The tree locking protocol,introduced by Silberschatz and Kedem,was defined based on static tree-structured data.
随着XML数据库管理系统 (XMLDBMS)研究的日益深入 ,研究基于树型结构的XML数据的并发控制协议变得十分重要 由Silberschatz和Kedem提出的树加锁协议 (treeprotocol)是基于静态树结构数据而定义的 而XML数据是动态变化的树型结构数据 针对XML数据的特点 ,定义了一个操作集 ,它可以将一个树型结构的XML文档变化为另外一个合法的树型结构的XML文档 该操作集的最大特点是其操作对象为一棵子树而非一个结点 在这个操作集基础上定义了XML动态树协议XDTP(XMLdynamictreeprotocol) ,并证明了该协议能继续保持静态树协议的优良特性 :可串行化 (serializability)和无死锁 (deadlock freedom) 在实际的数据集上进行了实验 ,结果表明XDTP有着较好的性
6) supplemental agreement
附加协议
补充资料：人民检察院在人民法院宣判前变更起诉、追加起诉、撤销起诉的权利
人民检察院在人民法院宣判前变更起诉、追加起诉、撤销起诉的权利：在人民法院宣告判决前，人民检察院发现被告人的真实身份或者犯罪事实与起诉书中叙述的身份或者指控犯罪事实不符的，可以要求变更起诉；发现遗漏的同案犯罪嫌疑人或者罪行可以一并起诉和审理的，可以要求追加起诉；发现不存在犯罪事实、犯罪事实并非被告人所为或者不应当追究被告人刑事责任的，可以要求撤回起诉。《人民检察院刑事诉讼规则》第351条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条