5255 search results - page 296 / 1051 » Formal Methods for Privacy |
152
Voted
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
144
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
153
Voted
ET
2010
15 years 3 months ago
2010
In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited at...
121
click to vote
MOC
2010
14 years 11 months ago
2010
In this paper, we propose an original optimization approach for reconstructing interface changes of a conductivity inclusion from measurements of eigenvalues and eigenvectors asso...
148
Voted
UIC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...