4111 search results - page 151 / 823 » Security, Protocols, and Trust |
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
CSFW
2009
IEEE
14 years 5 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
ISSRE
2008
IEEE
14 years 4 months ago
2008
IEEE
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
ICDE
2009
IEEE
15 years 1 days ago
2009
IEEE
Abstract-- In this paper, we propose secure protocols to perform Singular Value Decomposition (SVD) for two parties over horizontally and vertically partitioned data. We propose va...