信息技术的快速发展与深度应用不断催生着新型密码技术的创新,传统的公钥密码方案因缺乏灵活的加解密授权机制已难以适应复杂需求。谓词加密是基于身份加密、属性加密等一系列加密方式的扩展,它不但可以实现指定身份授权解密特定信息,同时还能使得解密者不会因为密钥与身份信息相关而暴露隐私信息,解决了基于身份加密方案中因用户密钥与用户身份信息相关,而导致部分隐私暴露的一些问题,谓词加密可以通过隐藏用户特征来避免用户隐私泄露,因而更具有理论研究意义和应用价值。现有的谓词加密方案有谓词组合动态转换、参数重用和确定性有限自动机等方法,但这些方法存在解密权限判断时开销大的问题。基于此,本文以确定有限状态自动机为基础,利用Petri网和博弈逻辑,设计了新的谓词加密方案,解决了解密用户隐私暴露问题并同时提升了基于确定有限状态自动机的谓词加密方案的效率。本文的主要研究工作包括有:（1）优化了现有的确定有限状态自动机的谓词加密方案。在基于确定有限状态自动机的谓词加密方案中,为了适应其他方法,先对密文属性以及密钥属性进行了一次密文编码与一次密钥编码,使密文密钥属性编码成为中间量,能被其他方案所用,而这个中间量并不能直接用于确定有限状态自动机的谓词加密方案,还需要再进行第二次密文编码与密钥编码,两次编码使得效率明显降低。论文通过将这两次编码的合并优化,使编码一步到位,从而更适用于确定有限状态自动机的谓词加密方案,进一步提升了方案的计算效率。（2）基于Petri网提出了一种新的谓词加密方案。在原有的基于确定有限状态自动机的谓词加密方案的基础上,首次利用Petri网结构替换了确定有限状态自动机,并对相应的密文编码与密钥编码进行修改,使之与Petri网结构相兼容;进一步利用Petri网的可达性预测特点对申请解密用户的解密权限进行预测,对于预测无法通过的用户拒绝其解密,从而节省计算开销,提升运算速率;最后,通过将解密成功用户的密文属性和密钥属性添加到过渡表中,使其再次解密时不需要再次进行验证,从而较大地提升效率。（3）基于博弈逻辑提出了一种谓词加密方案。在原有的基于确定有限状态自动机的谓词加密方案的基础上,首次利用博弈逻辑结构替换了确定有限状态自动机,解决了大量用户同时请求解密时可能造成的拥塞问题。论文首先形式化给出了基于博弈逻辑的谓词加密方案及其解密许可定义,然后基于双线性对实现了方案的具体构造,并给出了方案的正确性证明和相关性质分析。