Projects per year
Abstract
This is an artifact associated with a paper called "Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data". The paper associated with this artifact describes the SRDT, a secure replicated data type. To specify exactly how SRDTs work and to verify that they are secure, the paper uses a formal specification implemented in Redex, a library in the Racket language to specify executable formal semantics. The purpose of this artifact is to guide the reader on how to interact with the formal semantics, such that they can explore exactly how SRDTs work, are able to verify the claims of the paper, and are able to reproduce SRDTs for other systems.
Size
552.6 kB
Version
v1
| Date made available | 4 Sep 2023 |
|---|---|
| Publisher | Zenodo |
| Date of data production | 4 Sep 2023 |
Keywords
- replicated data types
- security
- conflict-free replicated data types
- CRDTs
- role-based access control
- RBAC
Format
- Format
- zip
- rkt
- ssh
- txt
Projects
- 1 Active
-
VLAAI2: Cybersecurity Research Program Flanders – second cycle
De Meuter, W., Braeken, A., Devriese, D., Gonzalez Boix, E. & De Roover, C.
1/01/24 → 31/12/28
Project: Applied
-
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Renaux, T., Van den Vonder, S. & De Meuter, W., 16 Oct 2023, In: Proc. ACM Program. Lang.. 7, OOPSLA2, p. 1-27 27 p., 227.Research output: Contribution to journal › Article › peer-review
Open AccessFile161 Downloads (Pure) -
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data (Artifact)
Renaux, T., Van den Vonder, S. & De Meuter, W., 4 Sep 2023, (Unpublished)Research output: Non-textual form › Artefact