4224 search results - page 539 / 845 » Reasoning about Choice |
201
click to vote
ESORICS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
168
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
182
click to vote
CC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
174
click to vote
E4MAS
2004
Springer
16 years 4 days ago
2004
Springer
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
165
click to vote
ESOP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...