Assertion list for term "contained within secure physical region".

Results from Ascent++: 1
private key (subgroup of key) ReceivesActioncontained within secure physical region 0.25