Preface of the Special Issue of International Journal of Information Security on "Automated Reasoning for Security Protocol Analysis"