Trust metrics for SPKI/SDSI

SPKI/SDSI 的信任指标

• 批准号: EP/G050112/1
• 负责人: Dominik Wojtczak
• 金额: $ 29.75万
• 依托单位: University of Oxford
• 依托单位国家: 英国
• 项目类别: Fellowship
• 财政年份: 2009
• 资助国家: 英国
• 起止时间: 2009 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FG050112%2F1
• 关键词: Trust; metrics; SPKI; SDSI

I propose to extend the SPKI/SDSI authorization protocol to allow for quantitative trust specification. SPKI/SDSI is a distributed certificate system that enhances Public Key Infrastructure (PKI) and allows for issuing authorization certificates granting permissions to access selected parts of privileged data not only to single principals, but also to user defined groups. The fact that the protocol is decentralized and there is no designated entity that verifies the identity of the users of the system makes the trustfulness vary significantly from one user to another. In order to tackle this problem in decentralized PKI systems many trust metrics were created for computing how much one can trust a given user. I would like to apply two of these metrics in the SPKI/SDSI setting. In order to do that I will introduce and study several new models that are based on Labeled Pushdown Graphs, which are graphs generated by pushdown systems with labeled transitions. A robust extension of SPKI/SDSI with quantitative trust management will enhance its capabilities and potentially foster its usage in real-life computer systems.

我建议扩展SPKI/SDSI授权协议，以允许定量信任规范。 SPKI/SDSI是一种分布式证书系统，可增强公共密钥基础结构（PKI），并允许颁发授权证书，以授予权限，以访问特权数据的选定部分，不仅向单个主体，还向用户定义的组访问。该协议是分散的，没有指定的实体来验证系统用户的身份，这一事实使信任度因一个用户而异。为了在分散的PKI系统中解决此问题，创建了许多信任指标，以计算一个人可以信任给定用户的信任度量。我想在SPKI/SDSI设置中应用其中两个指标。为此，我将介绍并研究基于标记的下降图的几个新模型，这些模型是由带有标记过渡的下降系统生成的图。具有定量信任管理的SPKI/SDSI的稳健扩展将增强其功能，并有可能在现实生活中促进其用法。

项目成果

Coordination Games on Directed Graphs

有向图上的协调博弈

• 发表时间: 2015
• 作者: Apt KR

One-counter Markov decision processes

• DOI: 10.1137/1.9781611973075.70
• 发表时间: 2009-04
• 期刊: ArXiv
• 作者: T. Brázdil;V. Brozek;K. Etessami;A. Kucera;D. Wojtczak

Parity objectives in countable MDPs

可数 MDP 中的平等目标

• DOI: 10.1109/lics.2017.8005100
• 发表时间: 2017
• 作者: Kiefer S

Automata, Languages, and Programming

自动机、语言和编程

• DOI: 10.1007/978-3-642-39212-2_44
• 发表时间: 2013
• 作者: Christodoulou G

Logic for Programming, Artificial Intelligence, and Reasoning

编程逻辑、人工智能和推理

• DOI: 10.1007/978-3-642-45221-5_9
• 发表时间: 2013
• 作者: Benzmüller C