2272 search results - page 137 / 455 » A Calculus for |
127
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
KR
2004
Springer
15 years 9 months ago
2004
Springer
70
Voted
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
