自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面，没有合理的信任协商会话调度方案，存在着拒绝服务攻击。提出了自动信任协商的基本组件，使用状态变换系统形式化描述了一个自动信任协商抽象模型。讨论了自动信任协商的时间特性，对原有安全策略扩展了时间约束安全策略，构造了一个带时间特性的自动信任协商状态变化系统。同时分析了安全策略的可满足性判定问题。