741 search results - page 72 / 149 » Verification of security protocols using LOTOS-method and ap... |
140
click to vote
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...
143
click to vote
WORM
2003
15 years 5 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
135
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
130
click to vote
CCS
2000
ACM
15 years 7 months ago
2000
ACM
This paper initiates a study of accountable certificate management methods, necessary to support long-term authenticity of digital documents. Our main contribution is a model for ...
129
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host ...