5119 search results - page 307 / 1024 » Security Privacy |
202
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
164
Voted
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
164
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...
175
Voted
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
For most basic cryptographic tasks, such as public key encryption, digital signatures, authentication, key exchange, and many other more sophisticated tasks, ideal functionalities...
164
click to vote
ACISP
2005
Springer
16 years 7 days ago
2005
Springer
The limited flexibility of the Internet to support mobility has motivated many researchers to look for alternative architectures. One such effort that combines security and multi...