5484 search results - page 287 / 1097 » Almost-Everywhere Secure Computation |
111
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
A severe potential security problem in utilization of Unicode in the Web is identified, which is resulted from the fact that there are many similar characters in the Unicode Chara...
160
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...
191
Voted
NTMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
185
click to vote
SACMAT
2006
ACM
16 years 19 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
164
click to vote
CONCUR
2005
Springer
16 years 7 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...