Pages that link to "Item:Q2643568"

The following pages link to Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568):

Displaying 1 item.

• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)