和形式化地描述
And formalized description
以上为机器翻译结果，长、整句建议使用 人工翻译 。
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
youdao
应用推荐
模块上移
模块下移
不移动