Pages that link to "Item:Q3522042"
From MaRDI portal
The following pages link to Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042):
Displaying 4 items.
- Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348) (← links)
- A formal apparatus for modeling trust in computing environments (Q2389890) (← links)
- Deontic reasoning with incomplete trust (Q2904133) (← links)
- Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic (Q3092290) (← links)