• C
  • CSFW
  • 1995
  • The Eighth IEEE Computer Security Foundations Workshop (CSFW '95)
Advanced Search 
The Eighth IEEE Computer Security Foundations Workshop (CSFW '95)
Kenmare, County Kerry, Ireland
March 13-March 15
ISBN: 0-8186-7033-9
Table of Contents
Composition: Session chair: Simon Foley
A. Zakinthinos, Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
E.S. Lee, Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
pp. 2
Authentication Protocols: Session Chair: Michael Reiter
Liqun Chen, Inf. Security Group, London Univ., UK
D. Gollmann, Inf. Security Group, London Univ., UK
C. Mitchell, Inf. Security Group, London Univ., UK
pp. 30
Analysis of Cryptographic Protocols: Session Chair: Gene Tsudik
Panel on "What Makes a Cryptographic Protocol Dependable?"
Issues in Implementations: Session chair: Jonathan Millen
R. Focardi, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
R. Gorrieri, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
V. Panini, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
pp. 60
T. Jaeger, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
A. Prakash, Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 70
Models of Cryptographic Protocols: Session chair: Michael Merritt
J.W. Gray, III, Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
J. McLean, Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
pp. 108
Secure Systems: Session chair: John McLean
S.N. Foley, Dept. of Comput. Sci., Univ. Coll. Cork, Ireland
J. Jacob, Dept. of Comput. Sci., Univ. Coll. Cork, Ireland
pp. 136
Panel on "Considering the Common Criteria"
Information Flow: Session chair: Joshua Guttman
P.F. Syverson, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
J.W. Gray, III, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 152
W.R. Bevier, Computational Logic Inc., Austin, TX, USA
R.M. Cohen, Computational Logic Inc., Austin, TX, USA
W.D. Young, Computational Logic Inc., Austin, TX, USA
pp. 167
Usage of this product signifies your acceptance of the Terms of Use.