3342 search results - page 270 / 669 » Symbolic Robustness Analysis |
144
Voted
RTA
2007
Springer
16 years 22 days 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 ...
162
click to vote
ANSS
2006
IEEE
16 years 21 days 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...
169
click to vote
VTC
2006
IEEE
16 years 19 days 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...
222
Voted
CIVR
2005
Springer
16 years 5 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...
169
click to vote
ICALP
2005
Springer
16 years 4 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...