SECD machine


Also found in: Wikipedia.