@第{zbMATH07106486条，作者＝｛Ayala Rinc｛\'o｝n，Mauricio和Santos Rego，Yuri｝，标题={证明安全性所需的平衡属性的{PVS}形式化{多列夫}-{Yao}级联协议模型}，FJournal={形式化推理杂志}，日志={J.Formaliz.Reason.}，ISSN={1972-5787}，体积={6}，数字={1}，页码={31--61}，年份={2013}，语言={英语}，DOI={10.6092/issn.1972-5787/3720}，关键词={68V20,68M25,68Q60,94A60}，zbMATH={7106486}，Zbl={1451.68334}}