Secure Implementations for Typed Session Abstractions.
Ricardo CorinPierre-Malo DeniélouCédric FournetKarthikeyan BhargavanJames J. LeiferPublished in: CSF (2007)
Keyphrases
- higher order
- security issues
- high level
- efficient implementation
- highly efficient
- scalar product
- lambda calculus
- identity management
- authentication scheme
- user authentication
- encryption scheme
- lightweight
- databases
- database
- peer to peer
- security analysis
- bayesian networks
- neural network
- group communication
- security management
- key agreement protocol
- data sets
- real time