退出
我的积分:
中文文献批量获取
外文文献批量获取
王宁丽; 余道华;
安徽工业大学教务处;
安徽工业大学计算机学院;
安全协议; 有色Petri网; 形式化分析; Helsinki协议;
机译:计算机安全和安全协议分析自动推理基础联合研讨会(FCS-ARSPA '06)
机译:基于可证明的安全性的安全协议分析器的实现
机译:安全智能家庭网络RFID安全协议分析
机译:协议分析在网络安全中的作用:弥合未发现的数据泄露漏洞
机译:行为安全领域协议分析和沉默狗方法的实现
机译:关于计算机安全和安全协议分析的自动推理基础的联合研讨会(FCS-ARSPA ’06)
机译:用于安全协议分析的strand空间与multiset重写的比较。
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:将BPEL4WS过程转换为有色Petri网的方法和装置
机译:基于网络连接协议分析的网络安全事件识别方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。