Pages that link to "Item:Q3175791"
From MaRDI portal
The following pages link to Security analysis of semi-quantum cryptography protocols by model checking (Q3175791):
Displaying 3 items.
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- The modeling library of eavesdropping methods in quantum cryptography protocols by model checking (Q518056) (← links)
- Model checking the observational determinism security property using PROMELA and SPIN (Q903490) (← links)