Author:
Amoah Raphael,Camtepe Seyit,Foo Ernest
Subject
Computer Networks and Communications,Computer Science Applications,Hardware and Architecture
Reference22 articles.
1. Amoah R, Suriadi S, Camtepe S, Foo, E. Security analysis of the non-aggressive challenge response of the DNP3 protocol using a CPN model. In: 2014 IEEE international conference on communications (ICC). IEEE; Sydney, Australia, 2014. p. 827–33.
2. The role of communication systems in smart grids;Ancillotti;Comput Commun,2013
3. Static validation of security protocols;Bodei;J Comput Secur,2005
4. Formal methods in practice;Bolignano,2001
5. Designing and verifying a communications gateway using coloured Petri nets and design/CPN;Floreani,1996
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献