867 search results - page 81 / 174 » Secure Input for Web Applications |
CCS
2006
ACM
14 years 25 days ago
2006
ACM
Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
SACMAT
2011
ACM
12 years 12 months ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
PERVASIVE
2006
Springer
13 years 9 months ago
2006
Springer
The rich interaction capabilities of public terminals can make them more convenient to use than small personal devices, such as smart phones. However, the use of public terminals t...