Open AccessA logical reconstruction of SPKI1
Author(s) -
Joseph Y. Halpern,
Ron van der Meyden
Publication year - 2003
Publication title -
journal of computer security
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.201
H-Index - 56
eISSN - 1875-8924
pISSN - 0926-227X
DOI - 10.3233/jcs-2003-11405
Subject(s) - computer science , tuple , revocation , reduction (mathematics) , key (lock) , semantics (computer science) , theoretical computer science , database , computer security , programming language , mathematics , discrete mathematics , geometry , overhead (engineering)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom