1970 search results - page 86 / 394 » Security Without Firewalls |
188
click to vote
ACISP
2008
Springer
16 years 11 days ago
2008
Springer
Abstract. We propose a new hybrid protocol for cryptographically secure biometric authentication. The main advantages of the proposed protocol over previous solutions can be summar...
159
click to vote
STACS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
164
click to vote
AINA
2005
IEEE
15 years 11 months ago
2005
IEEE
Security of mobile communications comes with the cost of computational overhead. Reducing the overhead in security computations is critical to ensure the overall performance of a ...
148
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
161
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...