Security Protocol Model Verification and Properties Conceptual Clipart Diagram