Pages that link to "Item:Q3522042"

The following pages link to Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042):

Displayed 2 items.

• Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348) ‎ (← links)
• Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic (Q3092290) ‎ (← links)