退出
我的积分:
中文文献批量获取
外文文献批量获取
Kemm.; RA; 李萌;
加密规约; 形式验证; 形式规范;
机译:使用形式验证技术分析加密协议
机译:基于形式验证的对称加密算法的基于SMS的移动支付协议的安全公平交换
机译:基于CP-net的加密协议的形式验证和攻击序列生成
机译:防止XML加密攻击对策的技术分析-或-认证加密的另一个动机。
机译:加密协议的形式验证。
机译:一种采用离散动力混沌映射和布朗运动的混合方法的新型图像加密技术
机译:XmL加密攻击对策的技术分析 - 或者 - 认证加密的另一种动机
机译:采用幅度控制光纤延迟线的光子相移技术分析
机译:违规约束装置和具有该违规约束装置的违规约束系统
机译:用新的加密技术分析/解释恶意加密脚本进行交易的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。