Securing Network Time Protocol. - STENN, HARLAN (Communications of the ACM, 2015)