退出
我的积分:
中文文献批量获取
外文文献批量获取
薛锐; 雷新锋;
中国科学院软件研究所信息安全国家重点实验室;
北京100190;
安全协议 ; 密码学 ; 形式化方法 ; 研究现状; 发展趋势;
机译:计算机安全和安全协议分析自动推理基础联合研讨会(FCS-ARSPA '06)
机译:基于可证明的安全性的安全协议分析器的实现
机译:多校两级教学质量监控与安全系统的研究现状与发展趋势
机译:协议分析在网络安全中的作用:弥合未发现的数据泄露漏洞
机译:行为安全领域协议分析和沉默狗方法的实现
机译:关于计算机安全和安全协议分析的自动推理基础的联合研讨会(FCS-ARSPA ’06)
机译:是什么使密码协议安全。正式密码协议分析中需求规范的演变
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:基于网络连接协议分析的网络安全事件识别方法和系统
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。