3115 search results - page 51 / 623 » Synthesizing Secure Protocols |
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data ful...
ACSW
2003
13 years 10 months ago
2003
An efficient and secure mental poker scheme is proposed in this paper. It is based on multiple encryption and decryption of individual cards. The protocol satisfies all major sec...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.
RFIDSEC
2010
13 years 7 months ago
2010
Abstract. In this paper, we classify the RFID distance bounding protocols having bitwise fast phases and no final signature. We also give the theoretical security bounds for two s...
CSFW
2000
IEEE
14 years 1 months ago
2000
IEEE
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number o...