1599 search results - page 281 / 320 » Program Analysis for Security and Privacy |
125
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
FC
2009
Springer
15 years 8 months ago
2009
Springer
Confidential data hemorrhaging from health-care providers pose financial risks to firms and medical risks to patients. We examine the consequences of data hemorrhages including pri...
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
121
click to vote
SAFECOMP
2004
Springer
15 years 7 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
111
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
It is increasingly common for users to interact with the web using a number of different aliases. This trend is a doubleedged sword. On one hand, it is a fundamental building bloc...