3299 search results - page 283 / 660 » Privacy and Trusted Computing |
198
click to vote
SP
1987
IEEE
15 years 10 months ago
1987
IEEE
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...
186
Voted
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
187
Voted
SP
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
215
Voted
MSWIM
2009
ACM
16 years 1 months ago
2009
ACM
Wireless sensor networks have attracted increasing attentions considering their potentials for being widely adopted in both emerging civil and military applications. A common prac...
208
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...