53 search results - page 6 / 11 » Certificate Translation in Abstract Interpretation |
TCC
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
MPC
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
UIALL
2004
Springer
14 years 24 days ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
TPHOL
2003
IEEE
14 years 22 days ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...