Jon Howell David Kotz A Formal Semantics for SPKI. 140-158 2000 conf/esorics/2000 ESORICS http://dx.doi.org/10.1007/10722599_9 db/conf/esorics/esorics2000.html#HowellK00