327 search results - page 3 / 66 » A Theory of Information-Flow Labels |
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
116
click to vote
ICFP
2012
ACM
12 years 12 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
IEEEARES
2009
IEEE
14 years 7 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
This paper shows how a corpus of instant messages can be employed to detect de facto communities of practice automatically. A novel algorithm based on the concept of Edge Stress F...
REFSQ
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Requirements engineering is still an area of software engineering in which theory and practice greatly differ. This work presents the results of an empirical study of ar...