29 citations · 36 across the 2 of their papers we have counts for
2 papers
cs.CR2010★ 29 cited
Managing Delegation in Access Control Models
Meriam Ben Ghorbel-Talbi, Frederic Cuppens, Nora Cuppens-Boulahia +1
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flexi…
cs.LO2008★ 7 cited
Automated Induction for Complex Data Structures
Adel Bouhoula, Florent Jacquemard
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int…