Verifying Executive Security Protocol...