Secrecy types for asymmetric communication |
| |
| Affiliation: | 1. Computer Science Department, University of California, Santa Cruz, USA;2. Département d''Informatique, École Normale Supérieure, Paris, France;3. Max-Planck-Institut für Informatik, Saarbrücken, Germany |
| |
| Abstract: | We develop a typed process calculus for security protocols in which types convey secrecy properties. We focus on asymmetric communication primitives, especially on public-key encryption. These present special difficulties, partly because they rely on related capabilities (e.g., “public” and “private” keys) with different levels of secrecy and scopes. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
