] Filters: Author is Maribel Fernández [Clear All Filters]
, "A graph-based framework for the analysis of access control policies", in Theoretical Computer Science, vol. 685, pp.3–22, July 2017.
, "A graph-based framework for the analysis of access control policies", in Theor. Comput. Sci., Elsevier B.V., vol. 685, pp.3-22, 2017. Abstract
"A Typed Language for Events", in "25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015) - Revised Selected Papers" , Springer - LNCS, vol. 9527, pp.107–123, December 2015.
"Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics", in "24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014) - Revised Selected Papers" , Springer - LNCS, vol. 8981, pp.148–163, April 2015.
, "A Framework for the Analysis of Access Control Policies with Emergency Management", in Electronic Notes in Theoretical Computer Science, Elsevier, vol. 312, pp.89–105, April 2015.
"Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics", in "Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers" , Springer, vol. 8981, pp.148–163, 2015.
, "A Framework for the Analysis of Access Control Policies with Emergency Management", in Electr. Notes Theor. Comput. Sci., vol. 312, pp.89–105, 2015.
"A Typed Language for Events", in "Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers" , Springer, vol. 9527, pp.107–123, 2015.
, "Linearity: A Roadmap", in Journal of Logic and Computation, vol. 24, pp.513–529, June 2014.
, "Linearity: A Roadmap", in J. Log. Comput., vol. 24, pp.513–529, 2014.
, "Gödel's system T revisited", in Theoretical Computer Science, vol. 411, pp.1484–1500, March 2010.