Proceedings : 13th IEEE Computer Security Foundations Workshop, CSFW-13, July 3-5, 2000, Cambridge, England

著者

• Computer Security Foundations Workshop
• IEEE Computer Society
• IEEE Computer Society. Technical Committee on Security and Privacy

書誌事項

Proceedings : 13th IEEE Computer Security Foundations Workshop, CSFW-13, July 3-5, 2000, Cambridge, England

sponsored by the IEEE Computer Society Technical Committee on Security and Privacy

IEEE Computer Society, c2000

• : case
• : microfiche

タイトル別名

13th IEEE Computer Security Foundations Workshop 2000

PR00671

注記

Includes bibliographical references and index

"IEEE Computer Society order number PR00671"

内容説明・目次

内容説明

This proceedings volume from the July 2000 workshop for researchers in computer security covers a variety of theories and models of security, techniques for verifying security, and new developments in the field. Presentation topics include: optimizing protocol rewrite rules of CIL specifications, an

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA48397756
• ISBN:
  • 0769506712
  • 0769506720
  • 0769506739
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif. ; Tokyo
• ページ数/冊数: ix, 285 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA76.9.A25
  • DC20 : 005.8
• 件名:
  • LCSH : Computer security -- Congresses