退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:形式方法在现实世界加密算法,协议和系统中的应用
Nicky Mouha; Asmaa Hailane;
机译:迈向验证分布式系统中活动特性的集成形式方法:应用于人口协议
机译:加密协议分析的正式方法:新出现的问题和趋势
机译:关于加密协议推理的正式分析方法的案例研究
机译:关于检查密码协议的正式方法。
机译:方案:定性扎根理论方法在听力损失调查中的应用:定性系统评价方案
机译:密码算法,数字货币协议和相关应用的理论检验和实际实施。
机译:生物系统的形式方法:语言,算法和应用。
机译:用于实现量子密码密钥传输的路由协议和算法的系统和方法
机译:使用算法和协议来在无线网络中操作载波侦听多路访问(CSMA)协议的系统和方法
机译:数据处理系统,执行密码算法的方法和准备执行密码算法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。