Pages that link to "Item:Q557896"

The following pages link to Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896):

Displaying 2 items.

• Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
• Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)