Based on the data independence techniques, an extended CSP model and its correctness verification are proposed that laying a strong emphasis on the designing and description of nonce cycling mechanism which composed of Manager process and intruder process.
基于数据独立技术扩展CSP协议模型，其中重点对Manager进程和入侵者进程组成的新鲜值循环机制以及新鲜值的映射策略方法进行设计和描述，同时为进行提炼检测，扩展秘密性和认证性的说明进程。 采用理论证明的方法，基于提出的相关命题对扩展模型进行正确性验证。
参考来源 - 基于扩展CSP模型的安全协议分析技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
N the present time or occasion (now only in the phrase for the nonce) 目前; 临时
N
N a rapist or child molester; a sexual offender 亵童犯 [prison slang]
应用推荐