The following pages link to (Q5203714):
Displaying 3 items.
- Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol (Q802867) (← links)
- ESAP: efficient and secure authentication protocol for roaming user in mobile communication networks (Q1789161) (← links)
- The guarded fragment with transitive guards (Q1877098) (← links)