5255 search results - page 519 / 1051 » Formal Methods for Privacy |
215
click to vote
CSFW
2003
IEEE
16 years 10 days ago
2003
IEEE
We investigate a number of issues related to identity based authenticated key agreement protocols using the Weil or Tate pairings. These issues include how to make protocols effici...
184
click to vote
SP
2003
IEEE
16 years 9 days ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
172
click to vote
CCS
2003
ACM
16 years 8 days ago
2003
ACM
We present a novel solution for authenticating printed paper documents by utilizing the inherent non–repeatable randomness existing in the printing process. For a document print...
206
click to vote
IEEEARES
2010
IEEE
16 years 5 days ago
2010
IEEE
Spyware represents a serious threat to confidentiality since it may result in loss of control over private data for computer users. This type of software might collect the data and...
179
click to vote
ACSAC
2002
IEEE
16 years 15 hour ago
2002
IEEE
Large-scale distributed systems present numerous security problems not present in local systems. In this paper we present a general security architecture for a large-scale object-...