Security log time synchronization for high-availability systems | IEEE Conference Publication | IEEE Xplore