... 查看全文 下载全文 导出 下载PDF阅读器 摘要： 引入了一个新的代数系统--称为密码协议代数(cryptographic protocol algebra, CPA), 刻画具有多种密码运算的消息代数性质, 并基于CPA提出了一个新的密码协议代数模型.
基于4个网页-相关网页
称为密码协议代数 cryptographic protocolalgebra ; CPA
密码协议代数
Cryptographic protocol algebra
以上为机器翻译结果，长、整句建议使用 人工翻译 。
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
youdao
应用推荐
模块上移
模块下移
不移动