登录后查看消息通知
搜索
常见问题
消息
登录
首页
/
数据集
/
Policy Verification Using Metagraphs
Policy Verification Using Metagraphs
收藏
NIAID Data Ecosystem
2026-03-12 收录
策略验证
元图应用
数据链接:
https://zenodo.org/record/4302336
数据链接
链接失效反馈
官方服务:
问题咨询
购买咨询
在线客服
NEW
资源简介:
Code for the submission Policy Verification Using Metagraphs
应用场景:
创建时间:
2021-01-07
相关数据集
Access Control Policy Generation and Verification Datasets
访问控制策略生成
策略验证
The manual generation of access control policies from an organization’s high-level requirement specifications is a laborious and error-prone process. Mistakes in this manual policy generation process
IEEE
3
0
Policy Testing with MDPFuzz (Replicability Study): RQ1
模糊测试
策略验证
Data and figure used in the reproduction study (RQ1) of the paper Policy Testing with MDPFuzz (Replicability Study).
NIAID Data Ecosystem
0
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广