Formal To Practical Security door