loading
Papers

Research.Publish.Connect.

Paper

Authors: Wassnaa Al-Mawee 1 ; Paul Bonamy 2 ; Steve Carr 1 and Jean Mayo 3

Affiliations: 1 Department of Computer Science, Western Michigan University, 1903 W. Michigan Ave., Kalamazoo, MI 49008-5466, U.S.A. ; 2 Department of Computer Science, Washington State University, 14204 NE Salmon Creek Ave., Vancouver, WA 98686, U.S.A. ; 3 Department of Computer Science, Michigan Technological University, 1400 Townsend Dr., Hougton, MI 49931-1292, U.S.A.

ISBN: 978-989-758-359-9

Keyword(s): Security, Structured Data Integrity, Structural Operational Semantics.

Abstract: The integrity of systems files is necessary for the secure functioning of an operating system. Integrity is not generally discussed in terms of complete computer systems. Instead, integrity issues tend to be either tightly coupled to a particular domain (e.g. database constraints), or else so broad as to be useless except after the fact (e.g. backups). Often, file integrity is determined by who modifies the file or by a checksum. This paper focuses on a general model of the internal integrity of a file. Even if a file is modified by a subject with trust or has a valid checksum, it may not meet the specification of a valid file. An example would be a password file with no user assigned a user id of 0. In this paper, we describe a language called Maia that provides a means to specify what the contents of a valid file should be. Maia can be used to specify the format and valid properties of system configuration files, PNG files and others. We give a structural operational semantics of Ma ia and discuss an initial implementation within a mandatory integrity system. (More)

PDF ImageFull Text

Download
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 18.207.134.98

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:
Al-Mawee, W.; Bonamy, P.; Carr, S. and Mayo, J. (2019). Maia: A Language for Mandatory Integrity Controls of Structured Data.In Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP, ISBN 978-989-758-359-9, pages 257-265. DOI: 10.5220/0007344802570265

@conference{icissp19,
author={Wassnaa Al{-}Mawee. and Paul J. Bonamy. and Steve Carr. and Jean Mayo.},
title={Maia: A Language for Mandatory Integrity Controls of Structured Data},
booktitle={Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP,},
year={2019},
pages={257-265},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007344802570265},
isbn={978-989-758-359-9},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP,
TI - Maia: A Language for Mandatory Integrity Controls of Structured Data
SN - 978-989-758-359-9
AU - Al-Mawee, W.
AU - Bonamy, P.
AU - Carr, S.
AU - Mayo, J.
PY - 2019
SP - 257
EP - 265
DO - 10.5220/0007344802570265

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.