科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:带有正式安全证明的认证程序集:BBS案例
Affeldt Reynald; Nowak David; Yamada Kiyoshi;
机译:带有正式密码证明的认证大会:BBS案例
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:通过在证明助手中玩游戏来提供可证明安全性的形式证明
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:BBS6BBS10和BBS12与CCT / TRiC家族伴侣蛋白形成复合物并介导BBSome组装
机译:正式证券证明大会:BBs案例
机译:安全防爆阀组件
机译:安全防喷阀门组件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。