1843 search results - page 46 / 369 » Securing Class Initialization |
114
click to vote
PROVSEC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...
107
click to vote
ICIAR
2004
Springer
15 years 7 months ago
2004
Springer
We present an information theoretic approach for learning a linear dimension reduction transform for object classification. The theoretic guidance of the approach is that the trans...
121
click to vote
AISS
2010
14 years 11 months ago
2010
Web services technologies change the software industry drastically by developing and integrating enterprise web services and applications in order to enable the users to access th...
130
click to vote
MA
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The goal of mobile agent systems is to provide a distributed computing infrastructure supporting applications whose components can move between different execution enviro...
136
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...