Author:
Degano Pierpaolo,Ferrari Gian-Luigi,Mezzetti Gianluca
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)
2. Bartoletti, M., Zunino, R.: LocUsT: a tool for checking usage policies. Tech. Rep. TR08-07, University of Pisa (2008)
3. Bartoletti, M., Costa, G., Degano, P., Martinelli, F., Zunino, R.: Securing Java with local policies. Journal of Object Technology 8(4), 5–32 (2009)
4. Bartoletti, M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. Journal of Computer Security 17(5), 799–837 (2009)
5. Lecture Notes in Computer Science;M. Bartoletti,2009
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献