The following pages link to (Q4493894):
Displaying 12 items.
- Injective synchronisation: An extension of the authentication hierarchy (Q860905) (← links)
- Formal models and analysis of secure multicast in wired and wireless networks (Q1040779) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- Elements of security: Closure, convergence, and protection (Q1607088) (← links)
- Analysis of security protocols as open systems (Q1853583) (← links)
- A comparison of three authentication properties. (Q1853750) (← links)
- A formalization of credit and responsibility within the GNDC schema (Q2804933) (← links)
- Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols (Q2841265) (← links)
- Techniques for security checking: non-interference vs control flow analysis (Q2841279) (← links)
- (Q4499297) (← links)
- (Q4994887) (← links)
- Quantifying Probabilistic Information Flow in Computational Reactive Systems (Q5862670) (← links)
