785 search results - page 27 / 157 » A Calculus for Trust Management |
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
Pervasive computing is becoming a reality, thanks to advances in wireless networking and increased popularity of portable devices. Users of these devices will need support to deci...
ITRUST
2005
Springer
14 years 1 months ago
2005
Springer
Trading privacy for trust thanks to the linkage of pseudonyms has been proposed to mitigate the inherent conflict between trust and privacy. This necessitates fusionym, that is, th...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
Worldwide social networks, like Facebook, face fierce competition from local platforms when expanding globally. To remain attractive social network providers need to encourage use...
ITRUST
2005
Springer
14 years 1 months ago
2005
Springer
