96 search results - page 6 / 20 » Modelling Downgrading in Information Flow Security |
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...
111
click to vote
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
104
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
152
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
IANDC
2008
15 years 1 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...