Proceedings : the Computer Security Foundations Workshop III, June 12-14, 1990, the Franconia Inn, Franconia, New Hampshire

著者

• Computer Security Foundations Workshop

書誌事項

Proceedings : the Computer Security Foundations Workshop III, June 12-14, 1990, the Franconia Inn, Franconia, New Hampshire

IEEE Computer Society Press, c1990

• :paper
• :micro.
• :case

タイトル別名

Proceedings of the Computer Security Foundations Workshop III

The Computer Security Foundations Workshop III

注記

Includes bibliographical references and index

"IEEE catalog number 90TH0315-2"--T.p. verso

内容説明・目次

内容説明

The workshop was held in Franconia, New Hampshire, June 1990. The proceedings cover information flow, definition and analysis of covert channels, propagation of access rights, secure protocols, verification technocracies and proof systems, and the application of logic to problems in computer securit

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA22397342
• ISBN:
  • 0818620714
  • 0818660716
  • 0818690712
• LCCN: 90081751
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: viii, 167 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA76.9.A25
  • DC20 : 005.8
• 件名:
  • LCSH : Computer security -- Congresses