3003 search results - page 416 / 601 » Software Security: Building Security In |
132
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
The design of WebLabs has traditionally been focused on the hardware rather than the software side. However, paying more importance to the software side can bring about important ...
158
Voted
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
124
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
153
Voted
CISSE
2008
Springer
15 years 7 months ago
2008
Springer
Each Internet communication leaves trails here or there, that can be followed back to the user. Notably, anonymous communication schemes are purposed to hide users' identity ...
121
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Discovering frequent patterns from huge amounts of data is one of the most studied problems in data mining. However, some sensitive patterns with security policies may cause a thr...