Jeremy Epstein, Rita Pascale. User interface for a high assurance, windowing system. In Ninth Annual Computer Security Applications Conference, ACSAC 1993, 6-10 Decemver, 1993, Orlando, Florida, USA. pages 256-264, IEEE, 1993. [doi]
Abstract is missing.