Pages that link to "Item:Q3125910"
From MaRDI portal
The following pages link to Logic for verifying public-key cryptographic protocols (Q3125910):
Displaying 12 items.
- Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol (Q802867) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Using probabilistic argumentation for key validation in public-key cryptography (Q1763172) (← links)
- LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001. (Q2375745) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Proof techniques for cryptographic processes (Q2784489) (← links)
- Modal logics for cryptographic processes (Q2842609) (← links)
- Protocol composition logic (PCL) (Q2864155) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- A logic of authentication (Q4206382) (← links)
- Verification logic (Q4555452) (← links)
- Probabilistic relational verification for cryptographic implementations (Q5408416) (← links)
