5255 search results - page 446 / 1051 » Formal Methods for Privacy |
178
Voted
CASCON
2004
15 years 8 months ago
2004
Due in part to the large volume of data available today, but more importantly to privacy concerns, data are often distributed across institutional, geographical and organizational...
206
Voted
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...
188
Voted
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Network based intrusions have become a serious threat to the users of the Internet. Intruders who wish to attack computers attached to the Internet frequently conceal their identit...
156
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—The differences between the fields of HumanComputer Interaction and Security (HCISec) and HumanComputer Interaction (HCI) have not been investigated very closely. Many ...
182
Voted
HOST
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...