[计]轨迹语义学;
Algebraic semantics and inheritance of an abstract class with trace
具迹抽象类型的代数语义与继承
This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.
本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。
Formal Analysis for Network Security Protocols Based on Trace Semantics
基于迹语义的网络安全协议形式化分析
纳米英语 · 双语娱乐资讯
纳米英语 · 高中英语