Li Li, Jun Pang, Yang Liu, Jun Sun 0001, Jin Song Dong. Symbolic Analysis of an Electric Vehicle Charging Protocol. In 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014. pages 11-18, IEEE, 2014. [doi]
Abstract is missing.