退出
我的积分:
中文文献批量获取
外文文献批量获取
刘怡文; 李伟琴;
北京航空航天大学计算机科学与工程系;
安全协议分析; 模型检查; Strand; Spaces; 定理证明; 机器证明; 安全特性; 网络安全;
机译:校正:用克里斯蒂安森A,AHLSTEDT J,Holmqvist B,Brinte A,Tran Ta,Forssell-Aronsson E,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand SE,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,Strand Se,克Se 和?kerstr?m b. antioxidantsandredox信号传导30:1746-1759,2017。Doi:10.1089 / Ars.2018.7517
机译:基于SAT的模型检查以进行安全协议分析
机译:STRAND空间与安全协议分析的多网重写比较
机译:使用综合模型方法检查青少年犯罪和受害情况
机译:行为安全领域协议分析和沉默狗方法的实现
机译:安全协议分析中Strand空间和多集重写之间的比较
机译:用于安全协议分析的strand空间与multiset重写的比较。
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:协议分析器,即触发检查设备,将通过记录有触发检查程序的记录介质进行连接
机译:利用透射电子显微镜的测角仪-ta,对相邻晶粒进行结晶学方向相关的测量,以确保在仔细检查中晶界的晶界特性。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。