退出
我的积分:
中文文献批量获取
外文文献批量获取
潘进1; 王小明2; 谢青松1;
[1]西安通信学院信息安全系,陕西西安710106;
[2]西安通信学院12队,陕西西安710106;
形式化验证; 初始规则集; 规则蕴含; 规则合一化;
机译:基于任何两个逻辑贝尔国家与共享辅助逻辑钟状态的纠缠交换的基于纠缠交换的鲁棒量子对话协议的密码分析和改进
机译:通过从自然语言到逻辑推理规则的加密来创建隐藏的答案句子:致力于构建基于逻辑的密码系统
机译:基于匿名逻辑的推理形式的密码协议形式化分析:以Needham-Schroeder Shared-Key协议为例
机译:密码协议和浏览器的重写逻辑中的安全模型。
机译:精简的RIP-seq协议用于用较少的输入材料进行转录组分析
机译:捕获密码协议中重放攻击的形式化分析
机译:是什么使密码协议安全。正式密码协议分析中需求规范的演变
机译:用于简单功率分析(SPA)和差分功率分析(DPA)的密码逻辑电路具有执行数据逻辑运算的第一逻辑单元和执行逻辑运算结果第一逻辑单元的第二逻辑单元
机译:逻辑网络的半自动设计程序-使用计算机化的最终设计阶段,在此阶段中采用形式化代码来生成最终逻辑图
机译:密码协议安全验证设备,密码协议设计设备,密码协议安全验证方法,密码协议设计方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。