722 search results - page 18 / 145 » Information Theory and Security: Quantitative Information Fl... |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
FOSSACS
2010
Springer
14 years 3 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...
IEEESCC
2008
IEEE
14 years 2 months ago
2008
IEEE
Current web service platforms (WSPs) often perform all web services-related processing, including securitysensitive information handling, in the same protection domain. Consequent...
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
IANDC
2007
13 years 8 months ago
2007
In this paper we study secure information flow policies in the sense of Meadows [12] and others for aggregated datasets, collectively. We first present a method for combining di...