343 search results - page 54 / 69 » Formal security analysis of PKCS |
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
127
click to vote
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
74
Voted
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
MOC
2010
14 years 4 months ago
2010
In this paper, we propose an original optimization approach for reconstructing interface changes of a conductivity inclusion from measurements of eigenvalues and eigenvectors asso...
100
click to vote
SAFECOMP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...