Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

Academic activities: 

 Academic Degrees:
  • PhD in Computer Science, University of Porto (2007)
  • MSc in Informatics, University of Porto (2001)     
  • Bsc in Computer Science, University of Porto (1999) 
 Research Topics:
  • Linearity, Lambda Calculus, Type Theory
  • Formal Specifications, Access Control Models

Interest
Topics
Details

Details

  • Name

    Sandra Alves
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st March 2015
Publications

2017

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

Authors
Alves, Sandra; Fernández, Maribel;

Publication
Theor. Comput. Sci.

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. © 2016 Elsevier B.V.

2017

Inhabitation machines: determinism and principality

Authors
Alves, Sandra; Broda, Sabine;

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

Abstract

2016

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016

Authors
Dowek, G; Licata, DR; Alves, S;

Publication
LFMTP

Abstract

2016

Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction

Authors
Alves, Sandra;

Publication
SIGLOG News

Abstract

2015

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

Authors
Alves, S; Cervesato, I;

Publication
LINEARITY

Abstract

Supervised
thesis

2016

Formula-Tree Method Tool

Author
Joana Filipa Fernandes Martins

Institution
UP-FCUP

2015

View and Verify Access Control Policies

Author
João Pedro de Almeida e Sá

Institution
UP-FCUP