Pages that link to "Item:Q866077"
From MaRDI portal
The following pages link to Algebra model and security analysis for cryptographic protocols (Q866077):
Displaying 8 items.
- Cryptographic protocol security analysis based on bounded constructing algorithm (Q2507460) (← links)
- On the relative soundness of the free algebra model for public key encryption (Q2848034) (← links)
- (Q3839178) (← links)
- (Q5113481) (← links)
- (Q5146197) (← links)
- (Q5239581) (← links)
- Perspectives of System Informatics (Q5902421) (← links)
- Algebraic adversaries in the universal composability framework (Q6157553) (← links)