Bridging Language-Based and Process Calculi Security

  title={Bridging Language-Based and Process Calculi Security},
  author={Riccardo Focardi and Sabina Rossi and Andrei Sabelfeld},
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising that the literature lacks a comprehensive account of a formal link between the two disciplines. This paper develops such a link between a language-based specification of security and a process-algebraic framework for security properties. Encoding imperative programs into a CCSlike process calculus, we show that timing… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS


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

Communication and concurrency

PHI Series in computer science • 1989
View 7 Excerpts
Highly Influenced

Noninterference through flow analysis

J. Funct. Program. • 2005
View 3 Excerpts

Language-based information-flow security

IEEE Journal on Selected Areas in Communications • 2003
View 2 Excerpts

On the secure implementation of security protocols

P. Giambiagi, M.Dam
In Proc. European Symp. on Programming, • 2003
View 1 Excerpt

Similar Papers

Loading similar papers…