SPKI的逻辑重构
密码学与安全
2007-05-23 v1 计算机科学中的逻辑
摘要
SPKI/SDSI是一个提议的公钥基础设施标准，它整合了SDSI公钥基础设施。SDSI的关键创新是使用本地名称。我们之前引入了一种具有清晰语义的本地名称包含逻辑，并证明它完全刻画了SDSI名称解析。在这里，我们展示了如何扩展我们早期的方法来处理SPKI的一些关键特性，包括撤销、到期日期和元组归约。我们表明这些扩展为逻辑增加了相对较少的复杂性。特别是，我们不需要非单调逻辑来捕获撤销。然后，我们使用我们的语义来检查SPKI的元组归约规则。我们的分析突出了SPKI对元组归约的非正式描述有些模糊的地方，并表明需要额外的归约规则才能捕获关于绑定和授权的通用信息。
引用
@article{arxiv.cs/0208028,
title = {A logical reconstruction of SPKI},
author = {Joseph Y. Halpern and Ron van der Meyden},
journal= {arXiv preprint arXiv:cs/0208028},
year = {2007}
}
备注
This is an updated version of a paper that appears in the Proceedings of the 14th IEEE Computer Security Foundations Workshop. It will appear in a special issue of the Journal of Computer Security devoted to papers from that conference