9 citations · 21 across the 13 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
Sandra Alves, Jorge Iglésias
We design a graph-based framework for the visualisation and analysis of obligations in access control policies. We consider obligation policies in CBACO, the category-based access…
cs.LO2021
EVL: a typed functional language for event processing
Sandra Alves, Maribel Fernández, Miguel Ramos
We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a va…
cs.LO2021★ 2 cited
An ML-style Record Calculus with Extensible Records
Sandra Alves, Miguel Ramos
In this work, we develop a polymorphic record calculus with extensible records. Extensible records are records that can have new fields added to them, or preexisting fields removed…