1777 search results - page 91 / 356 » Programming Cryptographic Protocols |
LOPSTR
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
MADNES
2005
Springer
14 years 3 months ago
2005
Springer
With the rapid advance of the Internet, a large amount of sensitive data is collected, stored, and processed by different parties. Data mining is a powerful tool that can extract ...
CSSE
2006
IEEE
13 years 10 months ago
2006
IEEE
The recent investigation of privacy-preserving data mining has been motivated by the growing concern about the privacy of individuals when their data is stored, aggregated, and mi...
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
CNSR
2004
IEEE
14 years 1 months ago
2004
IEEE