Generating optimized gate level information flow tracking logic for enforcing multilevel security. - Yu Tai; Wei Hu 008; Huixiang Zhang; Dejun Mu; Xing-Li Huang (Autom. Control. Comput. Sci., 2016)