Formal Aspects in Security and Trust
Subtitle: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, ... Federation for Information Processing)
Contributors: Theo Dimitrakos (Editor); Fabio Martinelli (Editor)
Publisher: Springer
Published: January 19, 2005
Language: eng
Number of pages: 246
ISBN-13: 9780387240503
First sentence: New networking technologies are moving to support applications for open systems (e.g., peer-to-peer, ad-hoc networks, Web services), in which the entities that will be involved in the application are unknown at design time.