A Security Analysis and Revised Security Extension for the Precision Time Protocol | IEEE Journals & Magazine | IEEE Xplore