机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:加密长期安全的观点
机译:Postumprum Era的信息安全为5G及超出网络:对现有密码学的威胁,以及量子密码术
机译:可重配置密码:长期安全性的一种灵活方法
机译:加密对象的安全性和代数属性之间的关系,以及代理通信语言的安全性基础结构。
机译:安全增强的加密方案和其加密安全性的评估
机译:加密长期安全的观点
机译:加密模块的安全要求。类别:计算机安全。子类别:密码学。 (经修订的09/11/09草案)。