基于Signcryption KEM-DEM混合签密结构,提出一个内部攻击者安全模式下签密密钥封装的形式化定义,引入一个随机标签与验证算法来保证签密密钥封装在内部攻击者模式下的安全性。在形式化定义的基础上,对该定义在可证明安全概念下的保密性和数据完整性的安全进行讨论,给出相应的攻击游戏的安全模型。 Based on the Signcryption KEM-DEM hybrid signature structure, a formal definition of signing key encapsulation in internal attackers security mode is proposed. A random label and verification algorithm is introduced to ensure the security of the signing key encapsulation in the internal attacker mode Sex. On the basis of the formal definition, this paper discusses the security of the definition under the concept of provable security and the integrity of data, and gives the corresponding security model of attacking game.