Document
检索banner
高级检索 在检索结果中检索
全部字段 题名 作者 关键词 摘要

A first-order logic semantics for SPKI/SDSI

  • 【作者单位】; 1 Beijing Jiaotong Univ, Sch Comp & Informat Technol, Beijing 100044, Peoples R China Organization-Enhanced Name(s) Beijing Jiaotong University ; 2 Taiyuan Normal Univ, Dept Comp, Taiyuan 030012, Peoples R China Organization-Enhanced Name(s) Taiyuan Normal University
  • 【召开年】2007
  • 【会议录】PROCEEDINGS OF THE FIRST INTERNATIONAL SYMPOSIUM ON DATA, PRIVACY, AND E-COMMERCE
  • 【摘要】 Abstract SPKI/SDSI is a distributed access control mechanism in which the policy statements for resource access are issued by multiple principals. A set of SPKI/SDSI policy statements forms a state of system. Many important properties of such states ...
  • 【文献类型】 会议论文
进入发现系统查看更多信息
页脚