利用 GLPK/GMPL 实现访问控制马尔可夫决策过程
密码学与安全
2012-08-27 v2
摘要
在最近的一种方法中，我们提出将访问控制机制建模为马尔可夫决策过程，从而主张可以利用决策理论中定义明确的机制来做出访问控制决策。本文介绍了该机制的实现，使用了开源求解器 GLPK，并用 GMPL 语言对问题进行建模。我们通过一个简单但具有表现力的例子阐述了我们的方法，并展示了某些参数的变化如何改变最终结果。特别是，我们表明除了返回决策外，还可以计算每个决策的值。
引用
@article{arxiv.1208.4722,
title = {Implementing Access Control Markov Decision Processes with GLPK/GMPL},
author = {Charles Morisset},
journal= {arXiv preprint arXiv:1208.4722},
year = {2012}
}
备注
15 pages, 6 figures, to be presented at the first International Workshop on Quantitative Aspects in Security Assurance, in colocation with ESORICS 2012