51、分布式系统的策略控制与访问控制基础设施

peach

于 2025-07-16 12:47:51 发布

阅读量10

点赞数

CC 4.0 BY-SA版权

分类专栏：解析《信息和通信安全》：ICICS 2002精选文章标签：分布式系统策略控制访问控制

61 篇文章 ¥399.00 ¥499.90

订阅专栏

在分布式系统的策略控制中，抽象系统由转换系统 Sys 表示。Sys 的状态是一个对 (σ, ξ)，其中 σ 是 O 的全局状态，ξ 是控制栈的内容。转换关系 → 由一系列推理规则定义，这些规则涵盖了多种操作情况。

规则名称	规则描述
(GASSIGN)	`IS(n) = “o.a := e”` ， `n e2 →n2` ， `σ′ = σ[o.a := σ ◦µ(e)]` ， `σ′ ◦µ(e2) = true` ， `(σ, ξ : (n, µ)) →(σ′, ξ : (n2, µ))`
(LASSIGN)	`IS(n) = “r := e”` ， `n e2 →n2` ， `µ′ = µ[r := σ ◦µ(e)]` ， `σ ◦µ′(e2) = true` ， `(σ, ξ : (n, µ)) →(σ, ξ : (n2, µ′))`
(CALL)	`IS(n) = “o2.m2(e1, ...`