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

Author(s)

• Computer Security Foundations Workshop

Bibliographic Information

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

Other Title

Proceedings of the Computer Security Foundations Workshop III

The Computer Security Foundations Workshop III

Note

Includes bibliographical references and index

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

Description and Table of Contents

Description

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

by "Nielsen BookData"

Details

• NCID: BA22397342
• ISBN:
  • 0818620714
  • 0818660716
  • 0818690712
• LCCN: 90081751
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: viii, 167 p.
• Size: 28 cm
• Classification:
  • LCC : QA76.9.A25
  • DC20 : 005.8
• Subject Headings:
  • LCSH : Computer security -- Congresses