Formal Development of Authentication Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pierre Bieber, Nora Boulahia-Cuppens. Formal Development of Authentication Protocols. In David Till, editor, 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, pages 80-102, Springer, 1994. [doi]

This author has not been identified. Look up 'Pierre Bieber' in GoogleThis author has not been identified. Look up 'Nora Boulahia-Cuppens' in Google

runs on WebDSL