Pages that link to "Item:Q1854520"
From MaRDI portal
The following pages link to Secure implementation of channel abstractions (Q1854520):
Displaying 9 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Implementing secure dependencies over a network by designing a distributed security subsystem (Q826066) (← links)
- The role of concurrency in an evolutionary view of programming abstractions (Q890610) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Private authentication (Q1881255) (← links)
- Channel abstractions for network security (Q3550700) (← links)
- Strong Separations Between Broadcast and Authenticated Channels (Q5090929) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)