PermRust: A Token-based Permission System for Rust
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908407246618624 |
|---|---|
| author | Gehring, Lukas Rehms, Sebastian Tschorsch, Florian |
| author_facet | Gehring, Lukas Rehms, Sebastian Tschorsch, Florian |
| contents | Permission systems which restrict access to system resources are a well-established technology in operating systems, especially for smartphones. However, as such systems are implemented in the operating system they can at most manage access on the process-level. Since moderns software often (re)uses code from third-parties libraries, a permission system for libraries can be desirable to enhance security. In this short-paper, we adapt concepts from capability systems building a novel theoretical foundation for permission system at the level of the programming language. This leads to PermRust, a token-based permission system for the Rust programming language as a zero cost abstraction on top of its type-system. With it access to system resources can be managed per library. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_11701 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | PermRust: A Token-based Permission System for Rust Gehring, Lukas Rehms, Sebastian Tschorsch, Florian Programming Languages Cryptography and Security Permission systems which restrict access to system resources are a well-established technology in operating systems, especially for smartphones. However, as such systems are implemented in the operating system they can at most manage access on the process-level. Since moderns software often (re)uses code from third-parties libraries, a permission system for libraries can be desirable to enhance security. In this short-paper, we adapt concepts from capability systems building a novel theoretical foundation for permission system at the level of the programming language. This leads to PermRust, a token-based permission system for the Rust programming language as a zero cost abstraction on top of its type-system. With it access to system resources can be managed per library. |
| title | PermRust: A Token-based Permission System for Rust |
| topic | Programming Languages Cryptography and Security |
| url | https://arxiv.org/abs/2506.11701 |