A functional formalization of on chip communications Julien SchmaltzDominique Borrione Original Article 18 October 2007 Pages: 241 - 258
Formalizing non-interference for a simple bytecode language in Coq Florian Kammüller Original Article 04 December 2007 Pages: 259 - 275
Specification of communicating processes: temporal logic versus refusals-based refinement Gavin Lowe Original Article 04 January 2008 Pages: 277 - 294
Data refinement and singleton failures refinement are not equivalent Steve ReevesDavid Streader Original Article 10 April 2008 Pages: 295 - 301
Efficient representation of the attacker’s knowledge in cryptographic protocols analysis Ivan Cibrario BertolottiLuca DuranteAdriano Valenzano Original Article 29 April 2008 Pages: 303 - 348