741 search results - page 104 / 149 » Verification of security protocols using LOTOS-method and ap... |
129
click to vote
EUROSYS
2007
ACM
16 years 29 days ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...
137
Voted
SCN
2010
Springer
15 years 2 months ago
2010
Springer
An identity-based encryption (IBE) scheme can greatly reduce the complexity of sending encrypted messages. However, an IBE scheme necessarily requires a private-key generator (PKG)...
159
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
167
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
143
click to vote
EUROCRYPT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...