1. The principle of guarantee availability for security protocol analysis

   • Giampaolo Bella

   Regular Contribution 09 December 2009 Pages: 83 - 97

2. Formal validation of automated policy refinement in the management of network security systems

   • João Porto de Albuquerque
   • Heiko Krumm
   • Paulo Lício de Geus

   Regular Contribution 20 February 2010 Pages: 99 - 125

3. Counting equations in algebraic attacks on block ciphers

   • Lars R. Knudsen
   • Charlotte V. Miolane

   Regular Contribution 15 December 2009 Pages: 127 - 135

4. On hash functions using checksums

   • Praveen Gauravaram
   • John Kelsey
   • Søren S. Thomsen

   Regular Contribution 31 December 2009 Pages: 137 - 151