1599 search results - page 281 / 320 » Program Analysis for Security and Privacy |
109
click to vote
OOPSLA
2009
Springer
15 years 4 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 6 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 5 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...
SAFECOMP
2004
Springer
15 years 5 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...
WWW
2004
ACM
16 years 14 days 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...