2) add-on conference
添加会议
3) 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.
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。
4) 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.
探讨了形式化验证加密协议的方法，用时序逻辑验证了单向保密协议的安全性缺陷。
5) 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
追加协议
补充资料：Pro/Engineer Drawing 添加视图
· 2.1 视图的种类 About the Major View Types
使用 VIEW TYPE 菜单，我们可以建立几种主要类型的视图，分别说明如下：
基本视图 general view：不依赖于其它视图而存在，放置视图时为默认的放置方式。
局部放大视图 detailed view：是其它视图的一部分。视图的放置方式和建立该视图所依靠的视图一致。其比例和原视图不同，边的显示方法和原视图相同
投影视图 projection view：利用另一个视图按照三角或一角投影关系影而得来
向视图 auxiliary view:沿一轴线或某一定的角度投影而形成的视图。
旋转视图： revolved view：由某视图通过一个平面形成的截面，并且旋转90度，沿剖切面形成的视图。这种视图可以是全视图，局部视图，爆炸图，或非爆炸图。
绘制视图 graph view：是由草绘的特征和实体形成的视图。
· 2.2 添加基本视图 To Add a General View
向图纸中添加的第一个视图称为基本视图。系统在方式它时，由系统默认的放置方式确定。当移动基本视图时，其它由该视图产生的视图会跟随移动。对基本视图的操作，可以移动到任何地方并且可以修改其比例
添加基本视图：
选择DRAWING> Views
如果在新建视图时没有指定模型名称，此时可以指定模型名称。
选择菜单VIEWS > Add View > General 以及在 VIEW TYPE 菜单中选择其它的视图的选项
点击 Done ，确定操作。或 Quit 终止添加视图
在图纸中点击一下，确定视图的放置位置。
指定基本视图的放置方式。前面以及参考放置面
2.3 添加投影视图 To Add a Projection View
选择菜单VIEWS > Add View > Projection 以及在 VIEW TYPE 菜单中选择其它的视图的选项
点击 Done ，确定操作。或 Quit 终止添加视图
根据基本视图的位置，在图纸中的指定位置点击一下，系统会根据视图的放置位置自动建立俯视图、左视图、等等类型
2.4 添加局部放大图 To Add a Detailed View
选择 Detailed 及其它相关选项
使用 VIEW TYPE 菜单，我们可以建立几种主要类型的视图，分别说明如下：
基本视图 general view：不依赖于其它视图而存在，放置视图时为默认的放置方式。
局部放大视图 detailed view：是其它视图的一部分。视图的放置方式和建立该视图所依靠的视图一致。其比例和原视图不同，边的显示方法和原视图相同
投影视图 projection view：利用另一个视图按照三角或一角投影关系影而得来
向视图 auxiliary view:沿一轴线或某一定的角度投影而形成的视图。
旋转视图： revolved view：由某视图通过一个平面形成的截面，并且旋转90度，沿剖切面形成的视图。这种视图可以是全视图，局部视图，爆炸图，或非爆炸图。
绘制视图 graph view：是由草绘的特征和实体形成的视图。
· 2.2 添加基本视图 To Add a General View
向图纸中添加的第一个视图称为基本视图。系统在方式它时，由系统默认的放置方式确定。当移动基本视图时，其它由该视图产生的视图会跟随移动。对基本视图的操作，可以移动到任何地方并且可以修改其比例
添加基本视图：
选择DRAWING> Views
如果在新建视图时没有指定模型名称，此时可以指定模型名称。
选择菜单VIEWS > Add View > General 以及在 VIEW TYPE 菜单中选择其它的视图的选项
点击 Done ，确定操作。或 Quit 终止添加视图
在图纸中点击一下，确定视图的放置位置。
指定基本视图的放置方式。前面以及参考放置面
2.3 添加投影视图 To Add a Projection View
选择菜单VIEWS > Add View > Projection 以及在 VIEW TYPE 菜单中选择其它的视图的选项
点击 Done ，确定操作。或 Quit 终止添加视图
根据基本视图的位置，在图纸中的指定位置点击一下，系统会根据视图的放置位置自动建立俯视图、左视图、等等类型
2.4 添加局部放大图 To Add a Detailed View
选择 Detailed 及其它相关选项
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条