@收款{zbMATH07573630，作者={Chr{\'e}tien，R{\e}my and Cortier，V{\'e}ronique and Delaune，St{\e{phanie}，Title={检查跟踪等价性：如何去掉nonce？}，BookTitle={计算机安全——ESORICS 2015。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日，会议记录。第二部分}，国际标准图书编号={978-3-319-24176-0；978-3-3169-24177-7}，页码={230--251}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-24177-7_12}，关键词={68M25,94A60}，zbMATH={7573630}，Zbl={1499.68048}}