Title :
A logical reconstruction of SPKI
Author :
Halpern, J.Y. ; Van Der Meyden, R.
Author_Institution :
Cornell University
Keywords :
Australia; Authorization; Certification; Computer science; Information analysis; Information security; Logic design; Public key; Technological innovation;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930136