退出
我的积分:
中文文献批量获取
外文文献批量获取
周倜; 李梦君; 李舟军; 陈火旺;
国防科学技术大学计算机学院;
长沙;
410073;
北京航空航天大学计算机学院;
北京;
100083;
安全协议; 扩展的Horn逻辑模型; 形式化验证; 反例; 复杂性;
机译:基于耦合剂的,蜂窝自动机和逻辑回归到混合城市扩展模型(HUEM)
机译:基于认证事件逻辑的安全协议自动分析新方法
机译:Petri网模型中基于Horn子句逻辑推理的自动Web服务组合
机译:针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
机译:两个参数逻辑扩展模型:三参数逻辑模型的有效变体
机译:创新的基于位置的Internet安全协议方案。提出了一种使用信念智能逻辑,特别是通过修改的BAN逻辑的基于位置的方案N-Kerberos安全协议。
机译:数学机器人自动诊断过程的概率逻辑构造
机译:用于机动车的安全系统,具有逻辑单元,该逻辑单元即使在驾驶员离开车辆后忘记致动系统的情况下,也可以基于车辆的一般状态自动地致动或解除致动安全系统。
机译:反例分析支持设备,反例分析支持系统,反例分析支持方法和程序
机译:使用基于加密安全协议的通信的客户端服务器注册方法和使用基于加密安全协议的通信的客户端与服务器之间的服务器验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。