@第{zbMATH07194394条，作者={Basin，David A.和Lochbihler，Andreas和Sefidgar，S.Reza}，标题={{CryptHOL}：高阶逻辑中基于游戏的证明}，FJournal={密码学杂志}，Journal＝{J.Cryptology}，ISSN={0933-2790}，体积={33}，数字={2}，页码={494--566}，年份={2020年}，语言={英语}，DOI={10.1007/s00145-019-09341-z}，关键词={94A60.94A62.68V15,91A99}，zbMATH={7194394}，Zbl={1455.94121}}