The Community for Technology Leaders
RSS Icon
Subscribe
Computer Security Foundations Workshop, IEEE (1995)
Kenmare, County Kerry, Ireland
Mar. 13, 1995 to Mar. 15, 1995
ISBN: 0-8186-7033-9
TABLE OF CONTENTS
Composition: Session chair: Simon Foley
A. Zakinthinos , Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
pp. 2
A.W. Roscoe , Comput. Lab., Oxford Univ., UK
pp. 9
Authentication Protocols: Session Chair: Michael Reiter
Li Gong , Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
pp. 24
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
C. Boyd , Commun. Res. Group, Manchester Univ., UK
pp. 38
Wenbo Mao , Hewlett-Packard Labs., Bristol, UK
pp. 44
Panel on "What Makes a Cryptographic Protocol Dependable?"
Issues in Implementations: Session chair: Jonathan Millen
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
J.V.A. Janeri , Mitre Corp., Bedford, MA, USA
D.D. Schnackenberg , Mitre Corp., Bedford, MA, USA
pp. 85
Models of Cryptographic Protocols: Session chair: Michael Merritt
A.W. Roscoe , Comput. Lab., Oxford Univ., UK
pp. 98
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
I.E. Kang , GTE Labs. Inc., Waltham, MA, USA
T.F. Keefe , GTE Labs. Inc., Waltham, MA, USA
pp. 118
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
pp. 152
R.M. Cohen , Computational Logic Inc., Austin, TX, USA
W.R. Bevier , Computational Logic Inc., Austin, TX, USA
pp. 167
pp. 177
8 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool