Author:
Alberti Francesco,Armando Alessandro,Ranise Silvio
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Alberti, F., Armando, A., Ranise, S.: Efficient Symbolic Automated Analysis of Administrative Role Based Access Control Policies. In: ASIACCS (2011)
2. Ghilardi, S., Ranise, S.: Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis. In: LMCS, vol. 6(4) (2010)
3. Lecture Notes in Computer Science;S. Ghilardi,2010
4. Lecture Notes in Computer Science;M.I. Gofman,2010
5. iProver, http://www.cs.man.ac.uk/~korovink/iprover
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献