Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables

From MaRDI portal

(Redirected from Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Verification_of_Security_Protocols_with_a_Bounded_Number_of_Sessions_Based_on_Resolution_for_Rigid_Variables&oldid=87481721"