Pages that link to "Item:Q5178860"
From MaRDI portal
The following pages link to Authentication primitives and their compilation (Q5178860):
Displaying 7 items.
- The role of concurrency in an evolutionary view of programming abstractions (Q890610) (← links)
- Linearity and bisimulation (Q997996) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Secure implementation of channel abstractions (Q1854520) (← links)
- Private authentication (Q1881255) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
