Pages that link to "Item:Q5178860"
From MaRDI portal
The following pages link to Authentication primitives and their compilation (Q5178860):
Displaying 10 items.
- The role of concurrency in an evolutionary view of programming abstractions (Q890610) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Secure implementation of channel abstractions (Q1854520) (← links)
- Private authentication (Q1881255) (← links)
- Principals in programming languages, a syntactic proof technique (Q2817722) (← links)
- Generic Compilers for Authenticated Key Exchange (Q3058659) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)