A Logical Reconstruction of SPKI

Joseph Y. Halpern, Ron van der Meyden. A Logical Reconstruction of SPKI. Journal of Computer Security, 11(4):581-614, 2003.

Abstract

Abstract is missing.