A formally verified access control mechanism for information centric networks

Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 and Loo, Jonathan (2015) A formally verified access control mechanism for information centric networks. Proceedings of the 12th International Conference on Security and Cryptography. In: The 12th International Conference on Security and Cryptography (SECRYPT 2015), 20-22 Jul 2015, Colmar, Alsace, France. ISBN 9789897581175. [Conference or Workshop Item] (doi:10.5220/0005566303770383)

Preview

PDF - Final accepted version (with author's formatting) Download (301kB) | Preview

Abstract

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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

278Downloads

6 month trend

502Hits

Additional statistics are available via IRStats2.