Formal Aspects in Security and Trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli.

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 includes: foundations of computer science; software theory and practice; education; computer applications...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dimitrakos, Theo (Editor), Martinelli, Fabio (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:IFIP Advances in Information and Communication Technology, 173
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.