3342 search results - page 270 / 669 » Symbolic Robustness Analysis |
160
click to vote
RTA
2007
Springer
16 years 1 months ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
182
click to vote
ANSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
195
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper introduces a resource allocation strategy which focuses on minimizing power consumption in Orthogonal Frequency Division Multiplexing(OFDM) systems. In case of multi...
249
click to vote
CIVR
2005
Springer
16 years 25 days ago
2005
Springer
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
200
click to vote
ICALP
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...