Extending AUTOSAR's Counter-Based Solution for Freshness of Authenticated Messages in Vehicles | IEEE Conference Publication | IEEE Xplore