61 search results - page 13 / 13 » On Security Notions for Verifiably Encrypted Signature |
POPL
2000
ACM
13 years 9 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...