退出
我的积分:
中文文献批量获取
外文文献批量获取
余冬梅; 边培泉; 冯涛;
甘肃工业大学;
电气工程与信息工程学院;
甘肃;
兰州;
730050;
安全协议; 形式化验证技术; BAN逻辑; 状态穷举; 定理证明;
机译:安全协议验证技术(1)-密钥交换协议安全认证中的常见错误
机译:安全协议验证技术(1)认证协议安全证明的错误错误
机译:使用模型检查对Ariadne安全路由协议进行形式化安全分析
机译:将需求规范映射到启用了区块链的形式化身份验证协议中,以确保个人身份安全
机译:移动流程和安全协议的验证技术。
机译:协议和危害法规中的安全推理形式化。
机译:自动抽象生成:如何使非专家用户可以使用安全协议的专家验证技术
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术
机译:具有改进的AS(访问协议)协议,S1接口和NAS(非访问协议)协议的移动通信系统中的安全性方法和与设备相关的移动终端安全性
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
机译:测量形式化设备,测量形式化方法和测量形式化程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。