...间 Petri 网;密码协议;TMN 协议;抑制弧 [gap=960]Key words】Object Oriented Timed Petri Nets(OOTPN); cryptographic protocol; TMN protocol; inhibitor-arcs ...
基于120个网页-相关网页
密码认证协议 password authentication protocol ; PAP
TW密码协议 TW Cryptographic Protocol
称为密码协议代数 cryptographic protocolalgebra ; CPA
密码协议代数 Cryptographic Protocol Algebra
密码验证协议 PAP ; Password Authentication Protocol
公钥密码协议 public key protocols
密码协议设计 cryptographic protocol design
密码协议安全验证 safety verifying of cipher agreement
形式化分析密码协议 formal analysis of cryptographic protocol
IKEv2 is a cryptographic protocol and its security is very important.
IKEv2作为一个密码协议，安全性是非常重要的。
参考来源 - IKEv2的实现及形式语言逻辑分析The secret sharing is an important part of the cryptography protocol. As the rapid development of computer networks, the society pay more and more attention on the confidential information.
秘密共享是密码协议的重要组成部分,特别是随着计算机及网络技术的快速发展,对重要而敏感信息的保护日益受到社会的高度关注。
参考来源 - （t，n）门限秘密共享体制的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
我们介绍了一个密码协议的计算模型。
We present a model of computation for cryptographic protocols.
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
这种改进方案对其它带有噪声的量子密码协议同样适用。
The improvement we present can be applied to other quantum cryptographic protocol with noise.
应用推荐