Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

protocol verification

biblio

Vertical Composition and Sound Payload Abstraction for Stateful Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm

biblio

An Interactive Prover for Protocol Verification in the Computational Model

Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm

biblio

Performing Security Proofs of Stateful Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm

biblio

DoS Vulnerability Verification of IPSec VPN

Submitted by aekwall on Tue, 10/12/2021 - 3:08pm

biblio

Verifying cryptographic protocols by Tamarin Prover

Submitted by aekwall on Tue, 10/12/2021 - 3:08pm

biblio

An Enhanced and Secure Multiserver-based User Authentication Protocol

Submitted by aekwall on Tue, 10/12/2021 - 3:07pm

biblio

Research on Secure JTAG Debugging Model Based on Schnorr Identity Authentication Protocol

Submitted by aekwall on Tue, 10/12/2021 - 3:07pm

biblio

Accelerated Verification of Parametric Protocols with Decision Trees

Submitted by aekwall on Tue, 10/12/2021 - 3:07pm

biblio

Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security

Submitted by aekwall on Tue, 10/12/2021 - 3:07pm

biblio

Tamarin software – the tool for protocols verification security

Submitted by aekwall on Tue, 10/12/2021 - 3:06pm

Terms of Use | ©2023. CPS-VO