Fifteen Years after TX: A Look Back at High Assurance Multi-Level Secure Windowing | IEEE Conference Publication | IEEE Xplore