The Community for Technology Leaders
RSS Icon
Subscribe
Computer Security Foundations Workshop, IEEE (1997)
Rockport, Massachusetts
June 10, 1997 to June 12, 1997
ISBN: 0-8186-7990-5
TABLE OF CONTENTS
Preface (PDF)
pp. vii
Welcome
Session 1: Protocol Checking in CSP: Chair: Roberto Gorrieri
Steve Schneider , University of London
pp. 3
Session 2: Protocol Engineering:Chair: Paul Syverson
James W. Gray , Hong Kong University of Science and Techology
Kin Fai Epsilon Ip , Hong Kong University of Science and Techology
King-Shan Lui , University of California, Santa Barbara
pp. 45
Tuomas Aura , Helsinki University of Technology
pp. 59
Session 3: Protocol Verification in Higher Order Logic:Chair: Michael Merritt
L.C. Paulson , Comput. Lab., Cambridge Univ., UK
pp. 84
Panel 1: Languages for Formal Specification of Security Protocols: Moderator: Catherine Meadows
Session 4: Distributed System Security:Chair: Li Gong
Paul F. Syverson , Naval Research Laboratory
pp. 109
Session 5: Protocol Applications: Chair: Peter Ryan
Jianying Zhou , National University of Singapore
Dieter Gollmann , University of London
pp. 126
Session 6: Information Flow:Chair: Stewart Lee
Panel 2: The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead
Session 7: Security Policies:Chair: John McLean
Ciaran Bryce , GMD - German National Research Center for Information Technology
pp. 195
pp. 209
331 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool