loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Amit Goyal ; Akshat Garg ; Digvijaysingh Gour ; R. K. Shyamasundar and G. Sivakumar

Affiliation: Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India

Keyword(s): Access Control, Confidentiality, Integrity, Information Flow Security, seL4, CAmkES, RWFM.

Abstract: Component Architecture for microkernel-based Embedded Systems (CAmkES) is a framework used to build embedded systems software on the top of seL4. seL4, a general purpose microkernel, uses the underlying Discretionary Access Control (DAC) capability model to ensure confidentiality and integrity of the systems built on it. These systems are not information flow secure as DAC model only considers direct read/write accesses and does not consider the indirect accesses. In indirect access, an unauthorized subject can get access to an object through another subject which has the direct access to that object. In this paper, we model and implement information flow secure CAmkES (IFS-CAmkES) which ensures complete mediation by RWFM monitor which is based upon Readers Writers Flow Model (RWFM), a Mandatory Access Control (MAC) model. IFS-CAmkES can be considered as CAmkES enriched with MAC based security. Prototypes of some real life examples have been implemented on IFS-CAmkES. We also compare the performance of CAmkES and IFS-CAmkES based systems. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.137.221.163

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Goyal, A.; Garg, A.; Gour, D.; Shyamasundar, R. and Sivakumar, G. (2021). Information Flow Secure CAmkES. In Proceedings of the 6th International Conference on Internet of Things, Big Data and Security - IoTBDS; ISBN 978-989-758-504-3; ISSN 2184-4976, SciTePress, pages 237-244. DOI: 10.5220/0010462602370244

@conference{iotbds21,
author={Amit Goyal. and Akshat Garg. and Digvijaysingh Gour. and R. K. Shyamasundar. and G. Sivakumar.},
title={Information Flow Secure CAmkES},
booktitle={Proceedings of the 6th International Conference on Internet of Things, Big Data and Security - IoTBDS},
year={2021},
pages={237-244},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010462602370244},
isbn={978-989-758-504-3},
issn={2184-4976},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Internet of Things, Big Data and Security - IoTBDS
TI - Information Flow Secure CAmkES
SN - 978-989-758-504-3
IS - 2184-4976
AU - Goyal, A.
AU - Garg, A.
AU - Gour, D.
AU - Shyamasundar, R.
AU - Sivakumar, G.
PY - 2021
SP - 237
EP - 244
DO - 10.5220/0010462602370244
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic