Cryptography; Computations; Encryption; Key cycles; Partial information leakage;
机译:正式加密的完整性和完整性:密钥循环和部分信息泄漏的情况
机译:主动攻击下与密钥有关的消息安全性-带密钥周期的Dolev-yao式加密的brsim / uc-soundness
机译:带有辅助助手密钥的密钥隔离的公钥加密:模型,构造和正式的安全证明
机译:存在秘密共享和密钥周期的形式加密的计算安全性
机译:对称加密形式逻辑的健全性和完整性。
机译:一个多用户公钥加密使用多关键字搜索脱离Bilinear配对
机译:正式加密的完整性和完整性:密钥周期和部分信息泄漏的情况