The following pages link to (Q4798026):
Displaying 8 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- (Q3361872) (← links)
- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol (Q3540086) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- The Practice of Authentication (Q3727858) (← links)
- Encryption as an abstract data-type (Q4924525) (← links)
- Authentication primitives and their compilation (Q5178860) (← links)
- A formal framework for authentication (Q5857806) (← links)