The following pages link to Logics in Artificial Intelligence (Q5394158):
Displaying 4 items.
- A novel logic-based automatic approach to constructing compliant security policies (Q439715) (← links)
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- Synthesising efficient and effective security protocols (Q2848033) (← links)
- Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols (Q6485963) (← links)