1302 search results - page 93 / 261 » Soundness in the Public-Key Model |
176
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
156
click to vote
WCRE
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
163
click to vote
ICAD
2004
15 years 7 months ago
2004
The human ability to recognize, identify and compare sounds based on their approximation of particular vowels provides an intuitive, easily learned representation for complex data...
171
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose a new diagnostic checking tool for fuzzy rule-based modelling of time series. Through the study of the residuals in the Lagrange Multiplier testing framew...
187
click to vote
ASE
2004
15 years 6 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...