摘要：本文用半规则实体代表参与协议并为其利益驱动协议的实体，基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例，在模型中加入半规则串和半规则节点。最后，找到一种对因特网密钥交换（IKE）协议的攻击。

关键词：半规则实体 串空间 tls ike 

单位：华南理工大学软件学院 广东广州510006 华南理工大学计算机学院 广东广州510006 武汉大学计算机学院 湖北武汉430072