Jeremy Epstein Fifteen Years after TX: A Look Back at High Assurance Multi-Level Secure Windowing. 301-320 2006 conf/acsac/2006 ACSAC http://doi.ieeecomputersociety.org/10.1109/ACSAC.2006.28 db/conf/acsac/acsac2006.html#Epstein06