Automatic verification of multi-agent systems security properties specified with LTL