Proceedings : Computer Security Foundations Workshop, CSFW 7, June 14-16, 1994, Franconia, New Hampshire

著者

• Computer Security Foundations Workshop
• IEEE Computer Society

書誌事項

Proceedings : Computer Security Foundations Workshop, CSFW 7, June 14-16, 1994, Franconia, New Hampshire

sponsored by the IEEE Computer Society

IEEE Computer Society Press, c1994

• : paper
• : microfiche

タイトル別名

Computer Security Foundations Workshop VII

注記

Includes bibliographical references and index

"IEEE catalog number : 94TH0686-6"

"IEEE Computer Society Press order number : 6230-02"

内容説明・目次

内容説明

Contains 19 papers from the June 1994 workshop emphasizing formal models that provide a framework for theories of security and techniques for verifying security as defined by those theories. Papers are arranged in seven sections covering noninterference and composability, formal methods and semantic

「Nielsen BookData」 より

詳細情報

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