Find link is a tool written by Edward Betts.
searching for Security Protocols Open Repository 1 found (4 total)
alternate case: security Protocols Open Repository
Wide Mouth Frog protocol
exact match in snippet
find links to article
Needham. "A Logic of Authentication". ACM Transactions on Computer Systems 8 (1990), pp. 18–36. Wide Mouthed Frog, Security Protocols Open Repository