EP1526424A3 - Providing a graphical user interface in a system with a high-assurance execution environment