退出
我的积分:
中文文献批量获取
外文文献批量获取
王君; 昝亚洲; 刘爱森; 屈萌;
数学工程与先进计算国家重点实验室,河南郑州450001;
92187部队,山西长治046011;
山东大学数学学院,山东济南250100;
95900部队,河南开封475000;
安全协议; BAN类逻辑; 形式化方法; Otway-Rees协议;
机译:通过重写来推断OTWAY-REES协议中的类型攻击
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:无线安全协议的安全分析和改进
机译:基于BAN逻辑的Otway-Rees协议的安全性分析。
机译:安全协议的形式分析:协议组成逻辑。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:通过符号安全证明1的Otway-Rees协议的真实或随机密钥保密
机译:改进共同安全风险分析(改进安全风险分析)
机译:具有改进的AS(访问协议)协议,S1接口和NAS(非访问协议)协议的移动通信系统中的安全性方法和与设备相关的移动终端安全性
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。