具有丰富业务逻辑的工作流管理系统的安全策略——一种适合分析的模型
密码学与安全
2013-05-08 v1
摘要
本文介绍了一个形式化元模型，用于在线服务系统中工作流的安全策略规范，该模型设计为适合建模和分析复杂的业务相关规则以及传统的访问控制。展示了模型到着色Petri网的转换，并描述了一个在线银行系统的策略示例。通过编写谓词查询Petri网的结果状态空间，可以在形式化模型和安全策略的高级描述之间建立联系，表明验证此类描述的可行性。由于不同业务服务相关任务之间的独立性（由元模型中信息流限制表示），状态空间可以分段分析，从而避免状态空间爆炸问题。讨论了相关现有模型，指出了所提模型在业务规则表达能力和分析不安全状态路径（而非仅仅不安全状态）方面的优势。示例策略的成功表示和分析以及一般情况下的推理证明了所提方法在其预期应用中的充分性。
引用
@article{arxiv.1304.5938,
title = {Security Policies for WFMS with Rich Business Logic - A Model Suitable for Analysis},
author = {Fábio José Muneratti Ortega and Wilson Vicente Ruggiero},
journal= {arXiv preprint arXiv:1304.5938},
year = {2013}
}
备注
9 pages, 4 figures