Ascent++
Search
Assertion list
for term "run in trusted operating system".
Results from
Ascent++
:
1
operating system
→
ReceivesAction
→
run in trusted operating system
0.25