分布式自证逻辑：语义、复杂性和应用于访问控制
摘要：分布式自证逻辑（dAEL）是自证逻辑（AEL）的多代理扩展。文中使用近似不动点理论定义和研究dAEL的语义，并使用2-值和3-值语义算子。通过这些算子，近似不动点理论为dAEL定义了一个语义类，每个类基于AEL上下文中广泛研究的不同直觉。我们定义了从dAEL到AEL的映射，并确定该映射保留语义的条件。此外，我们认为当映射不能保留语义时，与由AEL诱导的语义相比，dAEL语义更为可取，因为dAEL能够包含不一致性。 dAEL的发展是基于在访问控制领域的一个应用。我们解释了如何将dAEL应用于该领域，并讨论了不同语义在访问控制应用中的合适性。
作者：Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
论文ID：2306.02774
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-06