E-LIB Suche - Ergebnisse für: Fernández, Maribel

1

Automated Generation and Update of Structured ABAC Policies:

, In: Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems,

Bamberger, Anna ; Fernández, Maribel - p. 31-40 , 2024

Link: https://dl.acm.org/doi/1..

2

Unification Modulo Equational Theories in Languages with Bi..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Fernández, Maribel - p. 3-6 , 2023

Link: https://doi.org/10.1007/..

3

A Privacy-Preserving Architecture and Data-Sharing Model fo..:

Fernández, Maribel ; Jaimunk, Jenjira ; Thuraisingham, Bhavani
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 4 - p. 3495-3507 , 2023

Link: https://doi.org/10.1109/..

4

The Category-Based Approach to Access Control, Obligations ..:

, In: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies,

Fernández, Maribel - p. 1-2 , 2023

Link: https://dl.acm.org/doi/1..

5

Nominal AC-Matching:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Ayala-Rincón, Mauricio ; Fernández, Maribel ; Silva, Gabriel Ferreira.. - p. 53-68 , 2023

Link: https://doi.org/10.1007/..

6

From Static to Dynamic Access Control Policies via Attribut..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Bamberger, Anna ; Fernández, Maribel - p. 188-197 , 2023

Link: https://doi.org/10.1007/..

7

Proceedings of the Thirteenth ACM Conference on Data and Ap..:

Shehab, Mohamed ; Fernandez, Maribel ; Li, Ninghui , 2023

Link: https://dl.acm.org/doi/1..

8

Graph Transformation: 16th International Conference, ICGT 2..

Lecture Notes in Computer Science, 13961

Fernández, Maribel ; Poskitt, Christopher M - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

9

Modular Composition of Access Control Policies: A Framework..:

, In: Proceedings of the 27th ACM on Symposium on Access Control Models and Technologies,

Bertolissi, Clara ; Fernández, Maribel - p. 7-18 , 2022

Link: https://dl.acm.org/doi/1..

10

Nominal Matching Logic:

, In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming,

Cheney, James ; Fernandez, Maribel - p. 1-15 , 2022

Link: https://dl.acm.org/doi/1..

11

Session details: Session 2: Privacy:

, In: Proceedings of the Twelfth ACM Conference on Data and Application Security and Privacy,

Fernandez, Maribel , 2022

Link: https://dl.acm.org/doi/1..

12

Session details: Keynote Talk 2:

, In: Proceedings of the Twelfth ACM Conference on Data and Application Security and Privacy,

Fernandez, Maribel , 2022

Link: https://dl.acm.org/doi/1..

13

Proceedings of the Twelfth ACM Conference on Data and Appli..:

Joshi, Anupam ; Fernandez, Maribel ; Verma, Rakesh M. , 2022

Link: https://dl.acm.org/doi/1..

14

Nominal syntax with atom substitutions:

Domínguez, Jesús ; Fernández, Maribel
Journal of Computer and System Sciences. 119 (2021) - p. 34-59 , 2021

Link: https://doi.org/10.1016/..

15

Formalising nominal C-unification generalised with protecte..:

Ayala-Rincón, Mauricio ; de Carvalho-Segundo, Washington ; Fernández, Maribel..
Mathematical Structures in Computer Science. 31 (2021) 3 - p. 286-311 , 2021

Link: https://doi.org/10.1017/..