Application of Attack Graphs to Simulate the Violation of the Movement of Vehicles in the Convoy | IEEE Conference Publication | IEEE Xplore