Assertion list for term "configured to execute non-secure application programs".

Results from Ascent++: 1
microprocessor ReceivesActionconfigured to execute non-secure application programs 0.36