A formally verified access control mechanism for information centric networks

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.

[thumbnail of Aiash-Loo-2015-A-formally-verified-access-control-mechanism.pdf]
Aiash-Loo-2015-A-formally-verified-access-control-mechanism.pdf - Accepted Version

Download (301kB) | Preview


Communications in Information-Centric Networking place more attention on WHAT data are being exchanged rather than WHO are exchanging them. A well-established approach of information centric networks is the Network of Information (NetInf) architecture, developed as part of the EU FP7 project SAIL. The security of NetInf has been fairly analysed in the literature. In particular, research efforts have been focusing on achieving data integrity and confidentially, source or publisher authenticity and authorization. This paper analyses some work in the literature to enforce authorized access to data in NetInf, highlights a potential security threat and proposes an enhancement to address the discovered threat. The new enhancement has been formally verified using formal method approach based on the Casper/FDR tool.

Item Type: Conference or Workshop Item (Paper)
ISBN: 9789897581175
Identifier: 10.5220/0005566303770383
Page Range: pp. 377-383
Identifier: 10.5220/0005566303770383
Keywords: Information-centric Network, Network of Information, Capability-based Access Control, Casper/FDR
Subjects: Computing > Systems > Computer networking
Depositing User: Jonathan Loo
Date Deposited: 21 Jun 2017 15:38
Last Modified: 28 Aug 2021 07:23
URI: https://repository.uwl.ac.uk/id/eprint/3497


Downloads per month over past year

Actions (login required)

View Item View Item