Authentication primitives and their compilation
From MaRDI portal
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)
Recommendations
- Publication:4502734
- Programming Languages and Systems
- Primitives for authentication in process algebras.
- Cryptographic Protocol Composition via the Authentication Tests
- scientific article; zbMATH DE number 1884406
- scientific article; zbMATH DE number 1996490
- Generic Compilers for Authenticated Key Exchange
- Compound security protocol and its verification
- Verification and modelling of authentication protocols
Cited in
(10)- Primitives for authentication in process algebras.
- A hierarchy of equivalences for asynchronous calculi
- Secure implementation of channel abstractions
- Private authentication
- Principals in programming languages, a syntactic proof technique
- Generic Compilers for Authenticated Key Exchange
- A semantics for web services authentication
- Bisimulations in the join-calculus
- The role of concurrency in an evolutionary view of programming abstractions
- Linearity and bisimulation
This page was built for publication: Authentication primitives and their compilation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178860)
