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

Author(s)

• Workshop on Formal Aspects in Security and Trust
• Dimitrakos, Theo
• Martinelli, F. (Fabio)
• IFIP World Computer Congress

Bibliographic Information

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

（The International Federation for Information Processing, 173）

Springer, 2005

Other Title

FAST 2004

Note

Includes bibliographical references

Details

• NCID: BA74445619
• ISBN:
  • 0387240500
• LCCN: 2004065098
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: x, 246 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.A25
  • DC22 : 005.8
• Subject Headings:
  • LCSH : Computer security -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses
  • LCSH : Trust -- Congresses
• Parent Bibliography ID:
  • BA39641980