...
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
Security property; Verification; Review; Protocol security;
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:密码分析中使用随机航点模型的MANET路由协议的安全性机制
机译:安全协议验证:符号模型和计算模型
机译:密码协议和浏览器的重写逻辑中的安全模型。
机译:基于机器学习的计算基因选择模型:调查绩效评估开放问题和未来的研究方向
机译:计算模型中密码协议的认证安全证明:入侵弹性的应用⋆
机译:阿富汗和伊拉克的建模,模拟和运营分析:运行规划,经验教训和选定的努力调查。