@正在进行{DBLP:conf/生日/ChevalKR20，title=“安全协议中等价属性的可决定性和复杂性的搭便车指南”，author=“Vincent Cheval和Steve Kremer以及Itsaka Rakotonirina”，年=“2020”，booktitle=“逻辑、语言和安全——献给安德烈·斯凯德罗夫65岁生日的散文”，editor=“Vivek Nigam、Tajana Ban Kirigin、Carolyn L.Talcott、Joshua D.Guttman、Stepan L.Kuznetsov、Boon Thau Loo和Mitsuhiro Okada”，pages=“127--145”，publisher=“Springer”，series=“计算机科学讲义”，url=“https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CKR-scedrov20.pdf",volume=“12300”，doi=“10.1007/978-3-030-62077-6_10”，}