A formally verified access control mechanism for information centric networks

Aiash, Mahdi and Loo, Jonathan (2015) A formally verified access control mechanism for information centric networks. In: The 12th International Conference on Security and Cryptography (SECRYPT 2015), 20-22 Jul 2015, Colmar, Alsace, France.

[img]
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.

Item Type: Conference or Workshop Item (Poster)
Research Areas: A. > School of Science and Technology
A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer and Communications Engineering
Item ID: 17372
Useful Links:
Depositing User: Mahdi Aiash
Date Deposited: 12 Aug 2015 10:17
Last Modified: 07 Sep 2018 05:24
URI: http://eprints.mdx.ac.uk/id/eprint/17372

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year