退出
我的积分:
中文文献批量获取
外文文献批量获取
夏锐; 钱振江; 刘苇;
苏州大学 计算机科学与技术学院 江苏 苏州 215000;
常熟理工学院 计算机科学与工程学院 江苏 常熟 215500;
国网电力科学研究院 南京 211000;
通信协议; 混合密钥; 形式化建模; 形式化验证; Isabelle/HOL定理证明辅助工具;
机译:基于Petri的验证方法在ETCS安全通信协议中的应用
机译:Isabelle / HOL的基于学习的事实选择器
机译:SPARC指令集架构和TSO内存模型的isabelle / HOL形式化
机译:Isabelle / HOL关于高速公路交通安全的空间推理
机译:开发和验证一种在统计学中衡量大学生推理能力的工具:一种基于论证的验证方法。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:HOL和Isabelle / HOL中定义的安全性和保守性
机译:自适应引力八卦:一种基于八卦的通信协议,具有用户可选择的速率
机译:一种基于属性的安全的云计算身份验证方法
机译:一种用于在线银行的PIN-TAN身份验证方法,其中交易号的生成是通过用户与其银行之间的安全连接在应用程序中基于自我的授权步骤中发生的
机译:一种基于生物数据识别的电子文档验证方法和一种基于生物数据完整性的电子签名方法,该方法将电子文档的原始文本与标记,验证码和标记一起使用,并以此为目的进行验证,验证,确认服务器和计算机
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。