@第{ChevalCK23-jcs23条，title=“使用骰子验证符号协议”，author=“Vincent Cheval and Rapha{\”{e}}lle Crubill{\'{e}{and Steve Kremer”，年=“2023”，journal=“J.计算安全”，number=“5”，pages=“501--538”，url=“https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CCK-jcs23.pdf",volume=“31”，doi=“10.3233/JCS-230037”，}