by Workshop on Formal Aspects in Security and Trust (2nd 2004 Toulouse, France)
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series inc…