A logical language for specifying cryptographic protocol requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul Syverson, Cathernine Meadows. A logical language for specifying cryptographic protocol requirements. In 1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993. pages 165-177, IEEE Computer Society, 1993. [doi]

This author has not been identified. Look up 'Paul Syverson' in GoogleThis author has not been identified. Look up 'Cathernine Meadows' in Google

runs on WebDSL