6574 search results - page 295 / 1315 » Current Signatures: Application |
201
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
184
click to vote
ICPADS
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract. In identity-based (ID-based) cryptosystems, a local registration authority (LRA) is responsible for authentication of users while the key generation center (KGC) is respo...
240
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
For applications that involve rapidly changing textual data and also require traditional DBMS capabilities, current systems are unsatisfactory. In this paper, we describe a hybrid...
191
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a security analysis of Onion Routing, an application independent infrastructure for tra c-analysis-resistant and anonymous Internet connections. It also includ...
181
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Wireless sensor networks and Radio Frequency Identifiers are becoming mainstream applications of ubiquitous computing. They are slowly being integrated into our infrastructure and ...