Flow logic for Dolev-Yao secrecy in cryptographic processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson. Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Generation Comp. Syst., 18(6):747-756, 2002. [doi]

This author has not been identified. Look up 'Chiara Bodei' in GoogleThis author has not been identified. Look up 'Pierpaolo Degano' in GoogleThis author has not been identified. Look up 'Flemming Nielson' in GoogleThis author has not been identified. Look up 'Hanne Riis Nielson' in Google

runs on WebDSL