Sciweavers

7 search results - page 2 / 2
» On Classifying Conference Key Distribution Protocols
Sort
View
POPL
2000
ACM
15 years 5 months ago
Authentication Primitives and Their Compilation
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
Martín Abadi, Cédric Fournet, George...
141
Voted
WWW
2005
ACM
16 years 1 months ago
Algorithmic detection of semantic similarity
Automatic extraction of semantic information from text and links in Web pages is key to improving the quality of search results. However, the assessment of automatic semantic meas...
Ana Gabriela Maguitman, Filippo Menczer, Heather R...