基于匹配策略的安全协议重构分析