×

兹马思-数学第一资源

分析具有保密类型和逻辑程序的安全协议。(英语) Zbl 1204.68030

理学硕士:
68M12 网络协议
68问55 计算理论中的语义学
68Q60型 规范和验证(程序逻辑、模型检查等)
94A60型 密码学
PDF格式 BibTeX公司 XML 引用
全文: 内政部