University of Sussex
Browse
1-s2.0-S1571066117300105-main.pdf (267.88 kB)

Controlling file access with types

Download (267.88 kB)
journal contribution
posted on 2023-06-09, 07:06 authored by Rakan Alsowail, Ian MackieIan Mackie
Accidental misuse of shared files by authorised users is a predominant problem. This paper proposes a well-known static analysis approach, namely a type system, to prevent such accidental misuse. We develop a type system that intercepts commands issued by users in a file system and enforces policies on each file. Commands issued by users to manipulate files will be subject to type checking by the type system. Type-checked commands are then guaranteed to not violate policies of the files. The focus of this paper is on a particular policy that allows owners of files (users who created files) to specify the number of times a file can be read by limiting the number of times a file can be copied. Therefore, a file can be read as much as it can be copied. If the file cannot be copied, then it can be read only once. This approach can be extended to other properties.

History

Publication status

  • Published

File Version

  • Published version

Journal

Electronic Notes in Theoretical Computer Science

ISSN

1571-0661

Publisher

Elsevier

Volume

332

Page range

3-20

Department affiliated with

  • Informatics Publications

Research groups affiliated with

  • Foundations of Software Systems Publications

Full text available

  • Yes

Peer reviewed?

  • Yes

Legacy Posted Date

2017-07-10

First Open Access (FOA) Date

2017-07-10

First Compliant Deposit (FCD) Date

2017-07-10

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC