The method of model checking has shown its advantage in the verification of security protocols.
模型检验方法在对安全协议的验证中体现出了巨大的优越性。
参考来源 - 安全协议模型检验技术研究与实现Hash functions and block ciphers play an important role in many cryptographic and security protocols.
杂凑函数和分组密码在很多密码安全协议中起着非常重要的作用。
参考来源 - 对杂凑函数和分组密码算法的分析·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐