都相信我的话
发表于 2025-3-28 16:25:21
Revocation of Obligation and Authorisation Policy Objects,In particular, we will investigate how delegated general and specific obligations can be revoked and what effect the presence of roles has on the revocation process. We use the Alloy language and its automated analysis facilities to formally support our discussion.