12 search results - page 3 / 3 » Spatio-temporal and Multi-representation Modeling: A Contrib... |
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
CII
2008
13 years 5 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...