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

著者

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

書誌事項

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

タイトル別名

FAST 2004

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA74445619
• ISBN:
  • 0387240500
• LCCN: 2004065098
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: x, 246 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.A25
  • DC22 : 005.8
• 件名:
  • LCSH : Computer security -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses
  • LCSH : Trust -- Congresses
• 親書誌ID:
  • BA39641980