Verifying Security Protocol...