Pages that link to "Item:Q2841213"
From MaRDI portal
The following pages link to The practice of cryptographic protocol verification (Q2841213):
Displaying 9 items.
- Compiling and securing cryptographic protocols (Q990127) (← links)
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- Protocol insecurity with a finite number of sessions and composed keys is NP-complete. (Q1874404) (← links)
- Shared verification cryptography domains: Security in computers (Q2771349) (← links)
- Proof techniques for cryptographic processes (Q2784489) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- (Q5144673) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900826) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901900) (← links)