退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过键入pi微积分进行计算保密
Martín Abadi; Ricardo Corin; Cédric Fournet;
机译:具有名称匹配和会话类型的pi演算的算法类型检查
机译:通过行为类型确定无限状态pi演算中的安全性
机译:类型pi演算与极化证明网之间的确切对应关系
机译:尽管妥协却保密:类型,密码学和Pi微积分
机译:可以证明正确,保密的计算及其在拍卖和证券交易中的应用。
机译:爸爸妈妈不知道的事情会伤害您:青少年对1型糖尿病父母的披露和保密
机译:PI-微积分中并行计算复杂性的类型
机译:光学记录介质的保密维护方法和保密维护型光学记录介质
机译:高效,安全的计算正确性保护方案
机译:图类型计算中计算资源的管理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。