<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-12-15 21:39:38Public-key cryptography Public key infrastructure XTR BurrowsAbadiNeedham logic Four-square cipher OkamotoUchiyama cryptosystem |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2010-12-15 21:39:38Public-key cryptography Public key infrastructure XTR BurrowsAbadiNeedham logic Four-square cipher OkamotoUchiyama cryptosystem |
Add to Reading List |
PATTERN-MATCHING SPI-CALCULUS∗ Christian Haack DePaul University Alan Jeffrey Bell Labs, Lucent Technologies