Mahdi, Aiash and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2015) A formally verified access control mechanism for information centric networks. In: 12th International Conference on Security and Cryptography (SECRYPT 2015), 20-22 July 2015, Colmar, France.