• Publications
  • Influence
Interactive Mapping Specification with Exemplar Tuples
TLDR
In this paper, we present an interactive framework for schema mapping specification suited for non-expert users. Expand
  • 16
  • 2
  • PDF
FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules
TLDR
In this paper, we derive a set of requirements from representative examples of obligations and propose a language providing essential features such as ``contrary to duty'' obligations, obligations with deadlines and contextual obligations. Expand
  • 14
  • 1
  • PDF
Access Control Models
TLDR
Access control, or authorization, is arguably the most fundamental and most pervasive security mechanism in use today in computer systems, preventing hackers and cyber terrorists from reading and modifying sensitive files. Expand
  • 20
  • 1
  • PDF
Query-Based Linked Data Anonymization
TLDR
We introduce and develop a declarative framework for privacy-preserving Linked Data publishing in which privacy and utility policies are specified as SPARQL queries. Expand
  • 14
  • PDF
A relational database integrity framework for access control policies
TLDR
We propose a logical framework focusing primarily on constraints, policies, and models, while keeping as much as possible a unified way of expressing constraints. Expand
  • 9
  • PDF
Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs
TLDR
This paper focuses on two aspects of access control: graphical representation and reasoning. Expand
  • 7
  • PDF
Inference Leakage Detection for Authorization Policies over RDF Data
TLDR
In this paper, we define a fine-grained authorization model for RDF data for which it is possible to check in advance whether such a problem will arise. Expand
  • 6
  • PDF
Trustworthiness of Pervasive Healthcare Folders
During the last decade, many countries launched ambitious Electronic Health Record (EHR) programs with the objective to increase the quality of care while decreasing its cost. Pervasive healthcareExpand
  • 10
  • PDF
Interactive Mapping Specification with Exemplar Tuples
TLDR
We present an interactive framework for schema mapping specification suited for non-expert users. Expand
  • 6
Seamless Access to Healthcare Folders with Strong Privacy Guarantees
TLDR
Pervasive healthcare aims itself at making healthcare information securely available anywhere and anytime, even in disconnected environments (e.g., at patient home). Expand
  • 10
  • PDF
...
1
2
3
4
...