The following pages link to (Q4499293):
Displaying 5 items.
- Formal models and analysis of secure multicast in wired and wireless networks (Q1040779) (← links)
- Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols (Q2841265) (← links)
- Noninterference with Local Policies (Q2849922) (← links)
- Secrecy without one-way functions (Q2873317) (← links)
- Secrecy via Sources and Channels (Q2989694) (← links)