2575 search results - page 13 / 515 » Providing security with insecure systems |
111
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we introduce the concept of witness anonymity for peer-to-peer systems. Witness anonymity combines the seemingly conflicting requirements of anonymity (for honest p...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
ACISP
2008
Springer
15 years 6 months ago
2008
Springer
In the pre-specified peer model for key agreement, it is assumed that a party knows the identifier of its intended communicating peer when it commences a protocol run. On the oth...
COLCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
WETICE
1997
IEEE
15 years 3 months ago
1997
IEEE
: Bugs in network application program can be exploited to compromise the system on which the application is running. When running these applications in an unsafe environment such a...