109 search results - page 1 / 22 » Information flow inference for free |
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
POPL
2002
ACM
14 years 5 months ago
2002
ACM
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We show in this note that by deterministic packet sampling, the tail of the distribution of the original flow size can be obtained by rescaling that of the sampled flow size. To re...
ACMSE
2006
ACM
13 years 11 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
UAI
1998
13 years 6 months ago
1998
People using consumer software applications typically do not use technical jargon when querying an online database of help topics. Rather, they attempt to communicate their goals ...