Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por Sandra Alves

2017

A graph-based framework for the analysis of access control policies

Autores
Alves, S; Fernandez, M;

Publicação
THEORETICAL COMPUTER SCIENCE

Abstract
We design a graph-based framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators. We consider policies in the category-based access control model, which has been shown to subsume many of the most well known access control models (e.g., MAC, DAC, RBAC). Using a graphical representation of category-based policies, we show how answers to usual administrator queries can be automatically computed, and properties of access control policies checked. We show applications in the context of emergency situations, where our framework can be used to analyse the interaction between access control and emergency management.

2017

Inhabitation machines: determinism and principality

Autores
Alves, Sandra; Broda, Sabine;

Publicação
Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.

Abstract

2015

Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014

Autores
Alves, S; Cervesato, I;

Publicação
LINEARITY

Abstract

2015

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics

Autores
Alves, S; Degtyarev, A; Fernandez, M;

Publicação
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)

Abstract
We define an extension of the category-based access control (CBAC) metamodel to accommodate a general notion of obligation. Since most of the well-known access control models are instances of the CBAC metamodel, we obtain a framework for the study of the interaction between authorisation and obligation, such that properties may be proven of the metamodel that apply to all instances of it. In particular, the extended CBAC metamodel allows security administrators to check whether a policy combining authorisations and obligations is consistent.

2015

A short note on type-inhabitation: Formula-trees vs. game semantics

Autores
Alves, S; Broda, S;

Publicação
INFORMATION PROCESSING LETTERS

Abstract
This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting their similarities.

2014

Linearity: A Roadmap

Autores
Alves, S; Fernandez, M; Florido, M; Mackie, I;

Publicação
JOURNAL OF LOGIC AND COMPUTATION

Abstract
In this article we discuss three different notions of linearity: syntactical, operational and denotational. We briefly define each notion of linearity, pointing out some of the main results in the area, and describe applications of linear languages and type systems.

  • 1
  • 8