Authenticity and Provability - A Formal Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. Authenticity and Provability - A Formal Framework. In George I. Davida, Yair Frankel, Owen Rees, editors, Infrastructure Security, International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002, Proceedings. Volume 2437 of Lecture Notes in Computer Science, pages 227-245, Springer, 2002. [doi]

This author has not been identified. Look up 'Sigrid Gürgens' in GoogleThis author has not been identified. Look up 'Peter Ochsenschläger' in GoogleThis author has not been identified. Look up 'Carsten Rudolph' in Google

runs on WebDSL