... formal protocol specification 形式协议说明 formal software specification 正规的软件规范 formal dnsign specification 形式设计说明 ...
基于4个网页-相关网页
Realization of LOTOS formal specification is one of indispensable steps in protocol design.
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
应用推荐