Time-Centric Modeling of Correct Behaviors for Efficient Non-intrusive Runtime Detection of Unauthorized System Actions Download pdf Tags: 1615890 SaTC Pi Meeting 2017 Project Slides License: CC-2.5 Submitted by Roman Lysecky on Tue, 12/13/2016 - 15:06