2432 search results - page 395 / 487 » Cryptographic logical relations |
129
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
134
click to vote
CPAIOR
2009
Springer
15 years 11 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
175
click to vote
ICN
2009
Springer
15 years 9 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...
242
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
179
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...