哪个网站有做电箱电柜的图纸,做门户网站的市场价格,公司网站建设招标文件范本,长沙房地产新闻PCL 协议组合逻辑
一 主体#xff08;principal#xff09;和线程#xff08;thread#xff09;的区分
1.主体#xff1a;指 **协议的参与者#xff0c;用X^来表示。**每个主体可以扮演一个或多个角色#xff0c;如 InitCR和RespCR #xff1b;
2.线程#xff1a;主…PCL 协议组合逻辑
一 主体principal和线程thread的区分
1.主体指 **协议的参与者用X^来表示。**每个主体可以扮演一个或多个角色如 InitCR和RespCR
2.线程主体在某个具体的协议会话中的执行过程用X和Y表示。
总之主体代表协议参与者的抽象概念而线程代表了主体在特定会话中的具体实例化。主体可以在多个不同的会话中出现并且可以以不同的方式扮演不同的角色。线程则代表了主体在某个具体的会话中的行为。
二.Protocol Programming Language Terms 1.terms 通常由 常量c和变量x通过构造器p进行构建构造器有 **元组化操作、公钥加密 ENCK{|t|} 和签名 SIGK{|t|} **。可以完全评估的闭合项closed terms是协议中交换的信息的内容注闭合项是完全具体化的项其所有的变量都被替换为具体的值或常量。 2.关于项的evaluation评估是指 对项进行计算或求值的过程用于模拟计算过程将项替换为它们的值或结果。 3.包含自由变量如 pointers and references 的项是无法直接发送的完全评估意味着 term中的变量全部被实例化所以可以发送。 4.基本项basic termsu 它是不直接包含密码操作的项因为它可以包含变量而这个变量的取代值可能是一个加密结果但是没有直接使用密码学原语。 所以基本术语是不涉及具体的密码算法的项 项termst可以包含密码学原语的项如对称或非对称加密、数字签名等密码学原语。
