退出
我的积分:
中文文献批量获取
外文文献批量获取
中国计算机学会;
安全协议; 信息安全; 组合式验证; 性质描述; 后置断言; 前置断言;
机译:使用扩展协议组合逻辑证明安全WLAN身份验证方案(SWAS)的保密性
机译:使用PCLA密钥的基于验证者的密码认证的3P-EKE协议
机译:使用组合访问协议评估逻辑链路控制子级别对异构局域网特性的影响的模型
机译:在协议组合逻辑PCL上
机译:成功的步骤:确定共同使用协议中的要素。对涉及公立学区的联合使用协议的研究,该协议已获得1996年《公共教育设施担保法》第203号提案的资助。
机译:渥太华SAH搜索算法:使用健康管理数据进行的主要蛛网膜下腔出血预测模型的多中心验证研究的协议(SAHepi预测研究协议)
机译:关于协议组合逻辑pCL
机译:使用时态逻辑指定和验证加密协议(进度报告)。
机译:协议协议方法,协议验证方法,协议协议系统,协议验证装置,协议协议装置,协议协议程序和协议验证程序
机译:合同协议方法,协议验证方法,合同协议系统,协议验证设备,合同协议设备,合同协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。