Abstract: The invention relates to an embedded system (1) comprising a processor (2) operated by means of a kernel (3) executable by said processor, a hardware peripheral (8, 9), a memory (5) and an application-related software program (6) recorded in said memory (5), said application-related software program (6) being executed by means of said kernel (3) executable by said processor (2), as well as a securing method. The invention is characterized in that the kernel (3) executable by said processor (2) controls said hardware peripheral (8, 9), obliges said application-related software program (6) to execute a policy, which is neither defined nor controlled by said program, for controlling access to said communication peripheral (8, 9), and is formally proven to satisfy at least one security property.
Abstract: A secure terminal, particularly for protecting smartphones or tablets, includes: a display system (5) including a screen (2) and a graphical component (6) for carrying out commands to display visual data on the screen (2); a central processing unit (8) for carrying out executable program instructions and sending display commands to the display system (5); and a communication device (9-1) connecting the central processing unit (8) to the display system (5); a security processor (10) for securely interpreting and/or processing display commands of secure visual data on the screen (2); a communication device (9-2) connecting the security processor (10) to the display system (5); and a means (11) for visual recognition, by a user of the terminal (1), of a secure mode for displaying the secure visual data, which is displayed on the screen (2) when the secure visual data is displayed, and is controlled by the security processor (10).