The following pages link to Valerio Genovese (Q1037606):
Displaying 9 items.
- Fibred security language (Q1037607) (← links)
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
- Logics in access control: a conditional approach (Q2937691) (← links)
- Countermodels from Sequent Calculi in Multi-Modal Logics (Q2986808) (← links)
- Higher-Order Coalition Logic (Q2999189) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving (Q5392500) (← links)
- Reasoning about delegation and revocation schemes in answer set programming (Q5406124) (← links)
