1518 search results - page 92 / 304 » Cryptographic Test Correction |
121
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
131
click to vote
FC
2007
Springer
15 years 9 months ago
2007
Springer
Keylogging and phishing attacks can extract user identity and sensitive account information for unauthorized access to users’ financial accounts. Most existing or proposed solut...
133
Voted
SASN
2006
ACM
15 years 9 months ago
2006
ACM
Wireless sensor networks are typically deployed to measure the information field, rather than create an information field. However, by utilizing the radio on sensor nodes, it is...
130
Voted
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
110
Voted
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...