@第{zbMATH06306413条，作者＝｛Arapinis，Myrto和Delaune，St｛'e｝phanie和Kremer，Steve｝，标题={安全协议的动态标记}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积＝{10}，数字={2}，页码={50}，注={Id/No 11}，年份={2014}，语言={英语}，DOI={10.2168/LMCS-10（2:11）2014}，关键词={94A60.68M12,68P25,68Q60}，zbMATH＝{6306413}，Zbl={1315.94050}}