Assertion list
time pad (subgroup of pad ) → HasProperty
Results from Ascent++: 2
time pad → HasProperty → secure 0.68
time pad → HasProperty → unbreakable 0.16