104
click to vote
CCS
1999
ACM
15 years 7 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...