WFRF:(Lindnér Per)
Search: WFRF:(Lindnér Per) > (2015-2019) > Concurrent Reactive...
- 39 of 78
- Previous record
- Next record
- To hitlist
Concurrent Reactive Objects in Rust Secure by Construction
-
- Lindner, Marcus (author)
- Luleå tekniska universitet,Datavetenskap
-
- Aparicio, Jorge (author)
- Luleå tekniska universitet,Datavetenskap
-
- Lindgren, Per (author)
- Luleå tekniska universitet,Datavetenskap
- (creator_code:org_t)
- Ada Language UK Ltd. 2019
- 2019
- English.
- In: Ada User Journal. - : Ada Language UK Ltd.. - 1381-6551. ; 40:1
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- Embedded systems of the IoT era face the software developer with requirements on a mix of resource efficiency, real-time, safety, and security properties. As of today, C/C++ programming dominates the mainstream of embedded development, which leaves ensuring system wide properties mainly at the hands of the programmer. We adopt a programming model and accompanying framework implementation that leverages on the memory model, type system, and zero-cost abstractions of the Rust language. Based on the outset of reactivity, a software developer models a system in terms of Concurrent Reactive Objects (CROs) hierarchically grouped into Concurrent Reactive Components (CRCs) with communication captured in terms of time constrained synchronous and asynchronous messages. The developer declaratively defines the system, from which a static system instance can be derived and analyzed. A system designed in the proposed CRC framework has the outstanding properties of efficient, memory safe, race-, and deadlock-free preemptive (single-core) execution with predictable real-time properties. In this paper, we further explore the Rust memory model and the CRC framework towards systems being secure by construction. In particular, we show that permissions granted can be freely delegated without any risk of leakage outside the intended set of components. Moreover, the model guarantees permissions to be authentic, i.e., neither manipulated nor faked. Finally, the model guarantees permissions to be temporal, i.e., never to outlive the granted authority. We believe and argue that these properties offer the fundamental primitives for building secure by construction applications and demonstrate its feasibility on a small case study, a wireless autonomous system based on an ARM Cortex M3 target.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- Ada User Journal (Search for host publication in LIBRIS)
To the university's database
- 39 of 78
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Lindner, Marcus
- Aparicio, Jorge
- Lindgren, Per
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Ada User Journal
- By the university
- Luleå University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
