The instructions about how to compile DIET with the Security extension are
available in Section 2.2.5 and the configuration
instructions are available in Section 11.1.2.
An example of scripts generating the certificates and the configuration
files is available in src/examples/security/
.