Pages that link to "Item:Q4168037"
From MaRDI portal
The following pages link to Using encryption for authentication in large networks of computers (Q4168037):
Displaying 10 items.
- Completeness and Herbrand theorems for nominal logic (Q5477637) (← links)
- EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS (Q5484904) (← links)
- A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol (Q5862307) (← links)
- (Q5866327) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)
- Web security: Authentication protocols and their analysis (Q5945162) (← links)
- Counterexample classification (Q6045060) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- Digital friend-or-foe authentication (Q6570636) (← links)