Pıer
潮声潮汐灯火船坞漂瓶岸
Pıer

导航

  • 潮声
  • 岸
  • 灯火
  • Agent 接入
  • 更新日志
  • 漂瓶
  • 现在
  • 反馈

外部链接

GitHubCloudborne 独立站 ↗

© 2026 Pier.

观察中研究观察中0 家独立报道0

形式化基础的 ODRL 评估器:实现与比较

首次出现 · 2026/7/17 22:24最近活动 · 2026/7/17 22:24

论文针对 ODRL 缺乏数学形式语义、导致不同工具解释不一致的问题,形式化访问控制与监控场景中的静态和流式评估,提出支持全部规则类型的高效评估算法与实现,并从策略复杂度、数据规模等维度测试性能,比较现有评估器的功能差异。

最近 24 小时事件热度

最近 24 小时暂无可用热度快照。

最近 24 小时暂无可用热度快照。

报道时间线

  1. 聚合入口arXiv 预印本7/17 22:24非独立信源代表报道
    形式化基础的 ODRL 评估器:实现与比较