Pages that link to "Item:Q1330456"

The following pages link to Authentication and delegation with smart-cards (Q1330456):

Displaying 2 items.

• A (restricted) quantifier elimination for security protocols (Q860909) (← links)
• Global types with internal delegation (Q2286741) (← links)