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]
Abstract is missing.