Verifying Security Protocols: An ASM Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn. Verifying Security Protocols: An ASM Approach. In Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. pages 247-262, 2005. [doi]

This author has not been identified. Look up 'Dominik Haneberg' in GoogleThis author has not been identified. Look up 'Holger Grandy' in GoogleThis author has not been identified. It may be one of the following persons:

Wolfgang Reif

Look up 'Wolfgang Reif' in GoogleThis author has not been identified. Look up 'Gerhard Schellhorn' in Google

runs on WebDSL