3504 search results - page 301 / 701 » Secure protocol composition |
165
click to vote
IEEEARES
2006
IEEE
16 years 20 days ago
2006
IEEE
Distributed object systems for partitionable systems present a challenge, in that there is a trade-off between availability and consistency. Changes in one partition are not visib...
178
click to vote
ACSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
186
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
1 Electronic fair-exchange protocols have received significant attention from the research community in the recent past. In loose terms, the fair exchange problem is defined as at...
165
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
211
click to vote
EUROPKI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...