Author: Workshop on Formal Aspects in Security and Trust (2nd 2004 Toulouse, France)