皮埃尔·科诺帕基；哈基姆·贝哈瓦里；马克·弗拉皮耶；雷吉尼·拉劳 EB\（^{3}\）SEC中访问控制策略的规范和验证：正在进行中。 （英语） 兹比尔1303.68052 Garcia-Alfaro，Joaquin（编辑）等人，《安全基础与实践》。2011年5月12日至13日，法国巴黎，第四届加拿大-法国MITACS研讨会，FPS 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-27900-3/pbk）。计算机科学课堂讲稿6888，227-233（2012）。 摘要：信息系统被广泛使用，有助于管理大量数据。通常，这些数据是有价值的或敏感的，必须将其访问限制为授权用户。安全性是信息系统的强制性要求。已有几种方法来表示访问控制策略，但很少有方法，如EB（^{3}）SEC，支持访问控制策略中可以定义的各种约束。在本文中，我们介绍了如何使用EB（^{3}）SEC来表示两种访问控制约束：权限和禁止。一旦表达了约束，我们就提供算法来验证策略模型不会导致死锁。有关整个系列，请参见[兹比尔1233.94003]. MSC公司： 68第25页 数据加密（计算机科学方面） 关键词：形式化方法；访问控制；验证 PDF格式BibTeX公司 XML格式引用 \textit{P.Konopacki}等人，Lect。票据计算。科学。6888、227--233（2012；Zbl 1303.68052） 全文： 内政部