5255 search results - page 377 / 1051 » Formal Methods for Privacy |
122
click to vote
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
124
Voted
ICCSA
2010
Springer
15 years 7 months ago
2010
Springer
The purpose of this paper is to realize an authentication system which satisfies four requirements for security, privacy protection, and usability, that is, impersonation resistanc...
165
Voted
PODC
2011
ACM
14 years 8 months ago
2011
ACM
We present a cryptographic framework to achieve access control, privacy of social relations, secrecy of resources, and anonymity of users in social networks. The main idea is to u...
122
click to vote
ASUNAM
2009
IEEE
15 years 12 months ago
2009
IEEE
—Preventing adversaries from compiling significant amounts of user data is a major challenge for social network operators. We examine the difficulty of collecting profile and ...
143
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a novel technique for authenticating physical documents based on random, naturally occurring imperfections in paper texture. We introduce a new method for meas...