Author:
Santacà Katia,Cristani Matteo,Rocchetto Marco,Viganò Luca
Publisher
Springer International Publishing
Reference13 articles.
1. Balbiani, P., Seban, P.: Reasoning about permitted announcements. J. Philos. Logic 40(4), 445–472 (2011)
2. Cristani, M., Olivieri, F., Santacà, K.: A logical model of communication channels. In: Lavangnananda, K., Phon-Amnuaisuk, S., Engchuan, W., Chan, J. (eds.) Intelligent and Evolutionary Systems. Springer, Cham (2016)
3. Grossi, D., Royakkers, L., Dignum, F.: Organizational structure and responsibility: an analysis in a dynamic logic of organized collective agency. Artif. Intell. Law 15(3), 223–249 (2007)
4. Lecture Notes in Computer Science;R Grütter,2008
5. Kang, E., Adepu, S., Jackson, D., Mathur, A.P.: Model-based security analysis of a water treatment system. In: SEsCPS (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Etiology of Cybersecurity;Lecture Notes in Computer Science;2022