92 search results - page 3 / 19 » Secure Information Flow as a Safety Problem |
109
click to vote
ICDCSW
2005
IEEE
15 years 7 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
155
click to vote
BPSC
2009
15 years 2 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
124
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
131
click to vote
CAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
122
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...