On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. - Adrian Garcia Ramirez; Julien Schmaltz; Freek Verbeek; Bruno Langenstein; Holger Blasum (SAFECOMP, 2014)