反卫星

安全策略的自动符号分析。我们描述了用于分析管理访问控制策略的符号可达性过程asasp。该工具将访问策略及其管理操作表示为Bernays-Shönfinkel-Ramsey类的公式,然后使用符号可达性过程来解决安全分析问题。通过可满足性模理论求解和自动定理证明,使归结为可满足问题的不动点的检查变得机械化。asasp已成功地应用于分析基于角色的访问控制模型(扩展)中的基准问题。在这些问题的大量实例中,我们的工具比最先进的工具显示出更好的可伸缩性。

zbMATH中的参考文献(引用于,1标准件)

显示第1到第4个结果,共4个。
按年份排序(引文)

  1. Calvanese,Diego;Ghilardi,Silvio;Gianola,Alessandro;Montali,Marco;Rivkin,Andrey:从模型完整性到数据感知过程的验证(2019)
  2. 有效的符号可及性。安全策略分析应用(2013)
  3. Emmer,Moshe;Khasidashvili,Zurab;Korovin,Konstantin;Sticksel,Christoph;Voronkov,Andrei:基于EPR的单词级有界模型检查(2012)
  4. 阿尔贝蒂,弗朗西斯科;阿曼多,亚历山德罗;拉尼斯,西尔维奥:安全政策的自动符号分析(2011)ioport公司


更多出版物请访问:http://st.fbk.eu/en/node/153