Author:
Bodei Chiara,Degano Pierpaolo,Nielson Flemming,Nielson Hanne Riis
Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstracting IoT protocols using timed process algebra and SPIN model checker;Cluster Computing;2023-01-16
2. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14
3. Expressive Bilateral Access Control for Internet-of-Things in Cloud-Fog Computing;Proceedings of the 26th ACM Symposium on Access Control Models and Technologies;2021-06-11
4. Abstract interpretation of mobile systems;The Journal of Logic and Algebraic Programming;2005-04
5. Validating firewalls using flow logics;Theoretical Computer Science;2002-06