2213 search results - page 80 / 443 » Software Security |
134
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
118
click to vote
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
110
click to vote
ECSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
130
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Software upgrades are unreliable, often causing downtime or data loss. I propose Imago, an approach for removing the leading causes of upgrade failures (broken dependencies) and o...
102
click to vote
FSE
1998
Springer
15 years 7 months ago
1998
Springer
The block cipher RC2 was designed in 1989 by Ron Rivest for RSA Data Security Inc. In this paper we describe both the cipher and preliminary attempts to use both differential and l...