PCL protocol composition logic

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 terms)u :它是不直接包含密码操作的项,因为它可以包含变量,而这个变量的取代值可能是一个加密结果,但是没有直接使用密码学原语。 所以,基本术语是不涉及具体的密码算法的项;

项(terms)t:可以包含密码学原语的项,如对称或非对称加密、数字签名等密码学原语。
2.

相关推荐
guts°22 分钟前
10-ACL技术
网络·网络协议
群联云防护小杜31 分钟前
深度隐匿源IP:高防+群联AI云防护防绕过实战
运维·服务器·前端·网络·人工智能·网络协议·tcp/ip
_丿丨丨_6 小时前
XSS(跨站脚本攻击)
前端·网络·xss
一只栖枝7 小时前
HCIA-Security 认证精讲!网络安全理论与实战全掌握
网络·web安全·网络安全·智能路由器·hcia·it·hcia-security
FileLink跨网文件交换7 小时前
文件摆渡系统十大软件|文件摆渡系统如何构建网络安全呢?
网络
晨欣10 小时前
大型语言模型(LLM)在网络安全中最具商业价值的应用场景(Grok3 回答 DeepSearch模式)
网络·web安全·语言模型
有书Show10 小时前
个人IP的塑造方向有哪些?
网络·网络协议·tcp/ip
HHRL-yx11 小时前
C++网络编程 5.TCP套接字(socket)通信进阶-基于多线程的TCP多客户端通信
网络·c++·tcp/ip
迈威通信11 小时前
接口黑洞?破!安全堡垒?筑!冰火炼狱?战!MES7114W终极掌控
网络·安全
baynk12 小时前
wireshark的常用用法
网络·测试工具·wireshark·ctf