Author:
Martinelli Fabio,Matteucci Ilaria,Santini Francesco
Publisher
Springer International Publishing
Reference30 articles.
1. Andersen, H.R.: Partial model checking. In: LICS 1995, p. 398. IEEE Computer Society (1995)
2. Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Model checking usage policies. Math. Struct. Comput. Sci. 25(3), 710–763 (2015)
3. Lecture Notes in Computer Science;F Klaedtke,2012
4. Bauer, L., Ligatti, J., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Secur. 4(1–2), 2–16 (2005)
5. Lecture Notes in Computer Science;N Bielova,2011
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献