No label defined (Q4501570)
From MaRDI portal
scientific article; zbMATH DE number 1500551
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1500551 |
Statements
28 July 2002
0 references
\(\pi\)-calculus
0 references
name-passing calculus
0 references
cryptographic table
0 references
cryptographic protocols
0 references
symmetric shared keys
0 references
authenticity
0 references
