The Community for Technology Leaders
Computer Security Foundations Workshop, IEEE (1998)
Rockport, Massachusetts
June 9, 1998 to June 11, 1998
ISSN: 1063-6900
ISBN: 0-8186-8488-7
TABLE OF CONTENTS

Preface (PDF)

pp. vii

Program Committee (PDF)

pp. viii
Session 1: Distributed Services:Chair: Li Gong
Session 2: Noninterference:Chair: E.S. Lee
Session 3: Protocol Verification:Chair: Catherine Meadows
Panel 1: Varieties of Authentication:Moderators: R. Gorrieri and P. Syverson
Session 4: Protocol Model Checking:Chair: Jonathan Millen
Session 5: Composition:Chair: Roberto Gorrieri
Session 6: Protocol Logics:Chair: Gavin Lowe
Panel 2: The Security Impact of Distributed Computing Technologies: Moderator: P. Ryan
Session 7: Database and Intrusion Detection:Chair: Robert Morris

Index of Authors (PDF)

pp. 203
104 ms
(Ver )