Information Flow in Interactive Systems

@inproceedings{Alvim2010InformationFI,
  title={Information Flow in Interactive Systems},
  author={M{\'a}rio S. Alvim and Miguel E. Andr{\'e}s and Catuscia Palamidessi},
  booktitle={CONCUR},
  year={2010}
}
We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the information-theoretic approach which interprets such systems as (simple) noisy channels is not valid anymore. However, the principle can be recovered if we consider more complicated types of channels, that in Information Theory are known as channels with memory and feedback. We show that there is a complete correspondence between… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

Engineering Secure Software and Systems

Lecture Notes in Computer Science • 2014
View 6 Excerpts
Highly Influenced

Quantitative Multirun Security under Active Adversaries

2012 Ninth International Conference on Quantitative Evaluation of Systems • 2012
View 7 Excerpts
Highly Influenced

Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations

2018 IEEE European Symposium on Security and Privacy (EuroS&P) • 2018
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 19 references

Similar Papers

Loading similar papers…