69 search results - page 11 / 14 » Static Slicing for Pervasive Programs |
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
102
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
110
Voted
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
71
Voted
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper, we define and illustrate a new form of attack in the context of software services: the software-based need-to-know (SN2K) attack. SN2K attacks can be carried out...
DBPL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...