退出
我的积分:
中文文献批量获取
外文文献批量获取
刘万伟; 周倜; 李梦君; 李舟军;
国防科技大学计算机学院;
湖南;
长沙;
410073;
安全协议; 进程代数; 消解; 保密性; 认证性;
机译:GA-SURF:一种新的基于几何代数的多光谱图像加速鲁棒特征提取算法
机译:基于几何代数的量子计算的一种改进形式主义-案例研究:Grover搜索算法
机译:基于插值的安全协议验证方法
机译:一种改进的基于约束的安全协议验证系统
机译:存在代数性质的密码协议验证算法。
机译:一种基于5D超鲜贴图的新的安全图像加密算法
机译:基于认知模型检验的安全协议验证与优化
机译:基于HOOJI代数的多值非两级连接方式,基于HOOJI代数的多值非偶两级连接方式,基于HOOJI代数的多值偶两级连接方式以及基于多值的非两级连接
机译:迈向友好机器:一种基于布尔代数的基于上下文的道德实现方法
机译:一种基于无键旋转(地毯)移位算法的图像中止对象的传输安全消息的编码和解码方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。