佩特塔卡奇;萨恩多·瓦莱伊 协议验证模式逻辑对多通道协议的扩展。 (英语) Zbl 1240.68132号 塔特拉山数学。出版物。 41, 153-166 (2008).MSC公司:60年第68季度 94A60型 03B70号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Takács}和\textit{S.Vályi},塔特拉山数学。出版物。41、153--166(2008年;Zbl 1240.68132)
丹尼斯·霍夫海因茨;纽伦·穆勒·奎德;Rainer斯坦万特 密码协议中的IND-CCA安全建模。 (英语) Zbl 1174.94359号 塔特拉山数学。出版物。 33, 83-97 (2006).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Hofheinz}等人,塔特拉山数学。出版物。33、83——97(2006年;Zbl 1174.94359)
丹尼尔·库克纳;库蒂·奥斯基(Kutyłowski)、米洛斯·aw 如何使用不受信任的加密设备。 (英语) Zbl 1114.94012号 塔特拉山数学。出版物。 29, 57-67 (2004).MSC公司:94A60型 11T71型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kucner}和\textit{M.Kutyłowski},塔特拉山数学。出版物。29、57-67(2004年;Zbl 1114.94012)