退出
我的积分:
中文文献批量获取
外文文献批量获取
王丽娟; 张荣; 周昱; 魏敬和;
中国电子科技集团公司第五十八研究所 江苏无锡214063;
第三方IP核; 硬件木马; 携带证明的代码; 形式化验证;
机译:使用散列,加密和基于Chebyshev的身份验证,云中的数据安全性的证明安全身份验证方法
机译:内置代码的数学方法第2部分:程序证明:树区域逻辑和Dijkstra的程序验证方法
机译:使用代数规范的证明携带代码
机译:通过携带证明的代码方法实现片上可重配置系统的硬件安全性
机译:携带证明硬件知识产权(PCHIP):框架自动化和增强
机译:紧急医疗服务中的药物安全性:采用基于证据的验证方法以减少错误
机译:三重加密的安全性和基于代码的游戏证明框架
机译:基础证明携带代码的句法方法
机译:基于“紧”安全性证明的签名生成方法,基于DIFFIE-HELLMAN模型的关联验证方法和关联签名方案
机译:基于diffie-hellman模型的具有“紧密”安全性证明的签名生成方法,相关的验证方法和签名方案
机译:基于Diffie-Hellman模型的具有严格安全性证明的签名生成方法,关联的验证方法和关联的签名方案
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。