@InCollection｛zbMATH05562952，作者={巴纳、格尔吉和哈塞贝、小井和冈田、三弘}，标题={密码协议一阶逻辑分析的计算语义}，BookTitle={从正式到实际的安全性。2005-2008年法日合作发表的论文}，国际标准图书编号={978-3-642-02001-8}，页码={33--56}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-02002-5_3}，关键词={94A60.03B70}，zbMATH={5562952}，Zbl={1242.94017}}