537 search results - page 82 / 108 » A threat-driven approach to modeling and verifying secure so... |
WWW
2005
ACM
16 years 14 days ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
114
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
118
click to vote
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...