6574 search results - page 132 / 1315 » Current Signatures: Application |
134
click to vote
SSR
1997
15 years 6 months ago
1997
Configuration management of compiled software artifacts (programs, libraries, icons, etc.) is a growing problem as software reuse becomes more prevalent. For an application compos...
153
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
120
click to vote
ENTCS
2007
15 years 5 months ago
2007
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
134
Voted
AAECC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We investigate the security of a variant of the RSA public-key cryptosystem called LSBS-RSA, in which the modulus primes share a large number of least-significant bits.We...
139
click to vote
JSW
2007
15 years 5 months ago
2007
— Web Services offer great promise for integrating and automating software applications within and between enterprises over the Internet. However, ensuring that Web Services can ...