References of "Genovese, Valerio 40000233"
     in
Bookmark and Share    
See detailA constructive conditional logic for access control: a preliminary report
Genovese, Valerio UL; Giordano, Laura; Gliozzi, Valentina et al

in ECAI 2010 (2010)

We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few ... [more ▼]

We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics. [less ▲]

Detailed reference viewed: 33 (0 UL)
See detailA Logic of Privacy
Barker, Steve; Genovese, Valerio UL

in Data and Applications Security and Privacy XXIV (2010)

We consider the problem of developing an abstract meta-model of access control in terms of which policies for protecting a principal’s private information may be specified. Our concern is with developing ... [more ▼]

We consider the problem of developing an abstract meta-model of access control in terms of which policies for protecting a principal’s private information may be specified. Our concern is with developing the formal foundations of our conceptual model. For both the specific access control models and privacy policies, which may be defined in terms of the meta-model, we adopt a combining approach: we combine access control concepts to form the meta-model and we use a fibred logic for the formal foundations. Our approach enables data subjects to specify flexibly what access controls they wish to apply on their personal data and it provides a formal foundation for policies that are defined in terms of the meta-model. [less ▲]

Detailed reference viewed: 37 (0 UL)