使用资产与目标模型将访问控制“左移”
数论
2025-11-25 v2
摘要
访问控制需求具有广泛的设计影响,但访问控制规范可能在这些需求被捕获之前、期间或之后被提取。由于访问控制知识是分布式的,我们需要使知识不对称性更加透明,并利用已可获得的专家知识。在本文中,我们提出一种基于资产和目标模型识别访问控制知识不对称性的工具支持技术。通过使用简单且常规的建模语言,这些语言补充不同的设计技术,我们提供边界对象以使访问控制透明,从而使关于访问控制关切的知识更加对称。我们使用一个案例研究示例,考虑在新军事空中系统中对可重复使用软件组件的适用性。
引用
@article{arxiv.2504.17905,
title = {Upper bounds for moments of Dirichlet $L$-functions to a fixed modulus},
author = {Peng Gao and Liangyi Zhao},
journal= {arXiv preprint arXiv:2504.17905},
year = {2025}
}
备注
11 pages, revised according to the referee's comments and suggestions