Search results: Sage Journals

Restricted accessResearch articleFirst published September 28, 2012

Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 1

Alessandro Armando, Silvio Ranise

Journal of Computer Security

Open accessResearch articleFirst published June, 2014

Aina Niemetz, Mathias Preiner, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published August, 2010

António Morgado, Joao Marques-Silva

Fundamenta Informaticae

Open accessResearch articleFirst published June, 2014

David R. Cok, David Déharbe, Tjark Weber

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published June, 2023

Francesco Leofante

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published April, 2021

Tamar Chen-Levi, Chen Schechter, Yaffa Buskila

International Journal of Educational Reform

Restricted accessResearch articleFirst published September 20, 2024

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published December 5, 2017

A. Micheli

Intelligenza Artificiale

Restricted accessResearch articleFirst published January 31, 2018

Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published July 8, 2022

G. Cicala, S. Demarchi, M. Menapace [...]

Intelligenza Artificiale