13 search results - page 2 / 3 » Proving Security Protocols with Model Checkers by Data Indep... |
JCS
2010
12 years 11 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
ICICS
2009
Springer
13 years 11 months ago
2009
Springer
Privacy-preserving SQL computation in distributed relational database is one of important applications of secure multiparty computation. In contrast with comparatively more works o...
ASIAN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
VMCAI
2005
Springer
13 years 10 months 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...