6.2 代理重加密的定义及安全模型