Author:
Nanz Sebastian,Nielson Flemming,Nielson Hanne Riis
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference28 articles.
1. Formal verification of standards for distance vector routing protocols;Bhargavan;Journal of the ACM,2002
2. A framework for security analysis of mobile wireless networks;Nanz;Theoretical Computer Science,2006
3. R. De Nicola, F.W. Vaandrager, Action versus state based logics for transition systems, in: Proceedings of the LITP Spring School on Semantics of Systems of Concurrent Processes, Lecture Notes in Computer Science, vol. 469, Springer, Berlin, 1990, pp. 407–419.
4. Principles of Program Analysis;Nielson,1999
5. S. Nanz, F. Nielson, H.R. Nielson, Topology-dependent abstractions of broadcast networks, in: Proceedings of the 18th International Conference on Concurrency Theory (CONCUR’07), Lecture Notes in Computer Science, vol. 4703, Springer, Berlin, 2007, pp. 226–240.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reliable Restricted Process Theory;Fundamenta Informaticae;2019-02-14
2. TRACING WHERE IOT DATA ARE COLLECTED AND AGGREGATED;LOG METH COMPUT SCI;2017
3. A Step Towards Checking Security in IoT;Electronic Proceedings in Theoretical Computer Science;2016-08-10
4. Model checking mobile ad hoc networks;Formal Methods in System Design;2016-08-04
5. Where Do Your IoT Ingredients Come From?;Lecture Notes in Computer Science;2016