CSFW
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
CSFW
2000
IEEE
14 years 4 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
MIDDLEWARE
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
ASPLOS
2004
ACM
14 years 5 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
SASO
2007
IEEE
14 years 6 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
CSFW
2007
IEEE
14 years 6 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
ICASSP
2008
IEEE
14 years 6 months ago
2008
IEEE
The problem of interest is to characterize to what extent nodes independently following certain transmission schedules can be hijacked to relay flows of information packets. Info...
ESOP
2009
Springer
14 years 7 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...
SAC
2009
ACM
14 years 7 months ago
2009
ACM
In this paper, we present our research result that enables users to navigate a very large social network and to take a look at information flows on the network. To this end, we d...