SDSI 链式局部名称空间的逻辑
密码学与安全
2007-05-23 v1 计算机科学中的逻辑
摘要
Abadi 引入了一种逻辑来阐释 SDSI（Simple Distributed Security Infrastructure）中局部名称的意义，该系统由 Rivest 和 Lampson 提出。然而，Abadi 的逻辑并不完全对应于 SDSI；它会得出关于局部名称的结论，而这些结论并不遵循 SDSI 的名称解析算法。此外，其语义相对不直观。本文提出了局部名称包含逻辑（Logic of Local Name Containment），克服了上述缺陷。该逻辑语义清晰，能紧致表述 SDSI 的名称解析。其语义与逻辑程序的语义密切相关，从而为关于局部名称查询的高效实现提供了方法。本文还提供了该逻辑的完整公理化。
引用
@article{arxiv.cs/0001026,
title = {A Logic for SDSI's Linked Local Name Spaces},
author = {Joseph Y. Halpern and Ron van der Meyden},
journal= {arXiv preprint arXiv:cs/0001026},
year = {2007}
}
备注
To appear, Journal of Computer Security