A Coordination-based Methodology for Security Protocol Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto. A Coordination-based Methodology for Security Protocol Verification. Electronic Notes in Theoretical Computer Science, 121:23-46, 2005. [doi]

This author has not been identified. Look up 'Giacomo Baldi' in GoogleThis author has not been identified. Look up 'Andrea Bracciali' in GoogleThis author has not been identified. Look up 'Gian Luigi Ferrari' in GoogleThis author has not been identified. Look up 'Emilio Tuosto' in Google

runs on WebDSL