Pages that link to "Item:Q3522042"

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

Displaying 3 items.

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