PIĄTKOWSKI, Jacek; 						SZYMONIAK, Sabina.
 Trivializing Verification of Cryptographic Protocols.
<strong>Computer Assisted Methods in Engineering and Science</strong>, [S.l.], v. 30, n. 4, p. 389–406, jan. 2023.
ISSN 2956-5839.
Available at: &lt;<a href="https://cames.ippt.gov.pl/index.php/cames/article/view/869" target="_new">https://cames.ippt.gov.pl/index.php/cames/article/view/869</a>&gt;. Date accessed: 04 dec. 2024.
doi: <a href="http://dx.doi.org/10.24423/cames.869">http://dx.doi.org/10.24423/cames.869</a>.