退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用缩小的符号可及性分析及其在密码协议验证中的应用
Meseguer José; Thati Prasanna;
机译:使用缩窄的符号可达性分析及其在密码协议验证中的应用
机译:FSM符号马尔可夫分析在协议验证中的应用
机译:适用于ProVerif中安全协议的密码验证的符号模型
机译:方程式统一及其在密码协议形式验证中的应用
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:利用Narrowing进行符号可达性分析及其在密码协议验证中的应用
机译:密码协议安全验证设备,密码协议设计设备,密码协议安全验证方法,密码协议设计方法和计算机程序产品
机译:使用符号执行有效地覆盖移动软件应用程序的安全性的框架,以到达应用程序内的关注区域
机译:用于密码学应用的素数验证设备,具有两个要通过待测数字验证的数学同余性,如果组合中的一个被数字验证,则将数字声明为素数
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。