ASASP

ASSPAS:自动化符号分析安全策略,我们描述ASASP,一个象征性可达性程序,用于分析行政访问控制策略。该工具表示访问策略及其管理行为,作为Belnay-SH Onnkel-拉姆齐类的公式,然后使用符号可达性程序来解决安全分析问题。通过Satisfiability Modulo理论求解和自动定理证明,将定点减少到可满足性问题进行了机械化。ASASP已经成功地应用于分析基于角色的访问控制模型(扩展)中出现的基准问题。在这些问题的一组重要实例上,我们的工具比现有的工具显示出更好的可伸缩性。

ZBMaX中的参考文献(3篇)1标准条款

显示结果1至3的3。
按年份排序(引文

  1. Ranise,西尔维奥:具有有效命题逻辑的符号向后可达性。安全策略分析的应用(2013)
  2. Emmer,Moshe;Khasidashvili,Zurab;Korovin,康斯坦丁;StutkSel.克里斯托夫;Voronkov,安德列:基于EPR的词级有界模型检验(2012)
  3. Alberti,弗朗西斯科;阿曼多,Alessandro;Ranise,西尔维奥:ASSASP:安全政策的自动符号分析(2011)伊波尔特


进一步的出版物可以在:HTTP://ST.FBK.EU/En/NODE/153