Trusted Execution Environment; Security protocols; Formal verification; Security analysis;
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:节点分配和精确移动性框架的选择,以通过仿真系统地分析其对改善移动自组织网络路由协议性能的影响
机译:一种系统地分析基于TEE的协议的符号模型
机译:自然语言在神经象征模型中的作用分析
机译:认知建模的符号/次倍界面协议
机译:象征性地使用罗霖分析安全协议