These works indicate that the ATL logic based on game is more suitable to describe and analyze cryptographic protocols than traditional CTL.
英
美
释义
工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载