Biblio
Filters: Author is Xiao, Lili [Clear All Filters]
.
2018. Modeling and Verifying SDN with Multiple Controllers. Proceedings of the 33rd Annual ACM Symposium on Applied Computing. :419-422.
SDN (Software Defined Network) with multiple controllers draws more attention for the increasing scale of the network. The architecture can handle what SDN with single controller is not able to address. In order to understand what this architecture can accomplish and face precisely, we analyze it with formal methods. In this paper, we apply CSP (Communicating Sequential Processes) to model the routing service of SDN under HyperFlow architecture based on OpenFlow protocol. By using model checker PAT (Process Analysis Toolkit), we verify that the models satisfy three properties, covering deadlock freeness, consistency and fault tolerance.
.
2018. An Improved Digital Chaotic Encoder. Proceedings of the 3rd International Conference on Multimedia Systems and Signal Processing. :114–118.
Aiming at the defect that the decoder does not need to be initialized before decoding and the attackers can easily reconstruct the decoder structure, a new method of codec improvement is proposed. The improved decoder can restore the original information sequence correctly only when the initial state of the coder and decoder is the same. The simulation results show that the improved chaotic codec structure has better confidentiality than the original structure.