@第{zbMATH05264853条，作者={M{\“o}dersheim，Sebastian}，标题={关于协议验证中模型之间的关系}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={206}，数字={2-4}，页码={291--311}，年份={2008}，语言={英语}，DOI={10.1016/j.ic.2007.07.006}，关键词={68M12,68Q60,68Q85}，zbMATH={5264853}，Zbl={1146.68345}}