Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method-Reference-Cited by-同舟云学术

Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method

Published:2022 Issue: Volume: Page:45-64
ISSN:0302-9743
Container-title:Rewriting Logic and Its Applications
language:
Short-container-title:

Author:

López-Rueda Raúl,Escobar Santiago

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-12441-9_3

Reference21 articles.

1. Lecture Notes in Computer Science;D Aparicio-Sánchez,2020

2. Aparicio-Sánchez, D., Escobar, S., Meadows, C., Meseguer, J., Sapiña, J.: Protocol analysis with time and space. In: Dougherty, D., Meseguer, J., Mödersheim, S.A., Rowe, P. (eds.) Protocols, Strands, and Logic. LNCS, vol. 13066, pp. 22–49. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-91631-2_2

3. Lecture Notes in Computer Science;S Brands,1994

4. Chadha, R., Cheval, V., Ciobâcă, Ş., Kremer, S.: Automated verification of equivalence properties of cryptographic protocols. ACM Trans. Comput. Log. 17(4), 23:1–23:32 (2016)

5. Clavel, M., et al: Maude Manual (Version 3.2.1). Technical report, SRI International Computer Science Laboratory (2022). http://maude.cs.illinois.edu

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18

2. An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis;Journal of Logical and Algebraic Methods in Programming;2023-10

3. Canonical Narrowing for Variant-Based Conditional Rewrite Theories;Formal Methods and Software Engineering;2022