桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯 用于分析访问控制策略的基于图形的框架。 （英语） 兹比尔1371.68174 西奥。计算。科学。 685, 3-22 (2017).MSC公司：60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}和\textit{M.Fernández}，Theor。计算。科学。685、3--22（2017年；Zbl 1371.68174） 全文： DOI程序 链接
桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯 紧急管理访问控制策略分析框架。 （英语） 兹比尔1342.68190 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312，89-105，仅电子版（2015）。MSC公司：第68季度55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}和\textit{M.Fernández}，电子。注释Theor。计算。科学。31289--105（2015；Zbl 1342.68190） 全文： DOI程序 链接