2236 search results - page 183 / 448 » Secure Software Design in Practice |
132
Voted
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
175
click to vote
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Recently, Aumann and Lindell introduced a new realistic security model for secure computation, namely, security against covert adversaries. The main motivation was to obtain secure...
136
click to vote
CSMR
2002
IEEE
15 years 9 months ago
2002
IEEE
Even though the benefits of component-based software development are widely accepted, they are easily overestimated. To provide a firmer basis for the general discussion we descri...
121
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
163
click to vote
C3S2E
2008
ACM
15 years 5 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...