Good security models typically don't hinge on being lucky.
Should we disbelieve them when they say they don't do so?
Good security models typically don't hinge on being lucky.