Symbolic Analysis of an Electric Vehicle Charging Protocol.

Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong

Browse the full ICECCS paper archive.