@收款{zbMATH05290807，作者={周，提和李，周军和李，孟军和陈，霍旺}，标题={安全协议验证中的约束抽象}，BookTitle={算法的前沿。第二届年度国际研讨会，一汽2008，长沙，中国，2008年6月19-21日。处理}，国际标准图书编号={978-3-540-69310-9}，页码={252--263}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-69311-6_27}，关键词={68Q60,68M12}，zbMATH={5290807}，Zbl=｛1143.68465｝}