机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:视觉加密方案在信息安全中的作用:审查
机译:因果关系在确保相对论量子密码学最终安全性中的作用
机译:基于角色-密钥层次结构的基于角色的密码安全机制
机译:加密对象的安全性和代数属性之间的关系,以及代理通信语言的安全性基础结构。
机译:安全增强的加密方案和其加密安全性的评估
机译:基于角色密钥层次结构的基于加密角色的安全机制
机译:加密模块的安全要求。类别:计算机安全。子类别:密码学。 (经修订的09/11/09草案)。