Static Analysis for Secrecy and Non-interference in Networks of Processes

@inproceedings{Bodei2001StaticAF,
  title={Static Analysis for Secrecy and Non-interference in Networks of Processes},
  author={Chiara Bodei and Pierpaolo Degano and Flemming Nielson and Hanne Riis Nielson},
  booktitle={PaCT},
  year={2001}
}
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an operational semantics, defining a control flow analysis (CFA) in the form of a flow logic, and proving semantic correctness. Our first result is that secrecy in the sense of DolevYao can be expressed in terms of the CFA. Our second result is that also non-interference in the sense of Abadi can be expressed in terms of the CFA… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS
34 Citations
31 References
Similar Papers

Citations

Publications citing this paper.

53 Citations

051015'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.

References

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

Bridging the Gap: Formal vs

  • J. Jürjens
  • Complexity-theoretical Reasoning about…
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…