programming language semantics; authorisation; public key cryptography; logic programming; programming languages; SPKI; simple distributed security infrustracture; simple public key infrustracture; first-order logic; distributed access control; string re;
机译:使用一阶逻辑了解SPKI / SDSI
机译:SPKI / SDSI与K-SPKI / SDSI系统的比较研究
机译:SPKI / SDSI与K-SPKI / SDSI系统的比较研究
机译:了解SPKI / SDSI使用一阶逻辑
机译:一阶逻辑及其扩展表明的问题的细粒度复杂性
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:使用一阶逻辑了解SPKI / SDSI