CSDL - Proceedings A

Program Committee (PDF)

pp. xi

Tutorial Committee (PDF)

pp. xii

Distinguished Lecturer (PDF)

pp. xiii

"The Internet Rules but the Emperor Has No Clothes", by Dr. Roger Schell (PDF)

pp. xiv

Reviewers (PDF)

pp. xx

Security Engineering

An Evaluation of the Java Security Model (Abstract)

A. Sterbenz, Graz Univ. of Technol., Austria

pp. 2

PDF

Implementing Security Policy in a Large Defense Procurement (Abstract)

M. Nash

R. Kennett

pp. 15

PDF

An Authenticated Camera (Abstract)

J. Kelsey, Counterpane Syst., Minneapolis, MN, USA

B. Schneier, Counterpane Syst., Minneapolis, MN, USA

C. Hall, Counterpane Syst., Minneapolis, MN, USA

pp. 24

PDF

Secure Links

A Case Study Of Two Nrl Pump Prototypes (Abstract)

M.H. Kang, Div. of Inf. Technol., Naval Res. Lab., Washington, DC, USA

I.S. Moskowitz, Div. of Inf. Technol., Naval Res. Lab., Washington, DC, USA

B.E. Montrose, Div. of Inf. Technol., Naval Res. Lab., Washington, DC, USA

J.J. Parsonese, Div. of Inf. Technol., Naval Res. Lab., Washington, DC, USA

pp. 32

PDF

Asymmetric Isolation (Abstract)

J.A. Davidson, Norex Co., San Diego, CA, USA

pp. 44

PDF

Starlight: Interactive Link (Abstract)

M. Anderson, Div. of Inf. Technol., Defence Sci. & Technol. Organ., Salisbury, SA, Australia

C. North, Div. of Inf. Technol., Defence Sci. & Technol. Organ., Salisbury, SA, Australia

J. Griffin, Div. of Inf. Technol., Defence Sci. & Technol. Organ., Salisbury, SA, Australia

R. Milner, Div. of Inf. Technol., Defence Sci. & Technol. Organ., Salisbury, SA, Australia

J. Yesberg, Div. of Inf. Technol., Defence Sci. & Technol. Organ., Salisbury, SA, Australia

K. Yiu, Div. of Inf. Technol., Defence Sci. & Technol. Organ., Salisbury, SA, Australia

pp. 55

PDF

Forum: Alternate Assurance Working Group

Common Criteria Activities and Alternative Assurance (PDF)

pp. 65

Forum: SSE-CMM Pilot Results

SSE-CMM Pilot Results (PDF)

pp. 67

Electronic Payment

Security Measures For The Austrian "Paychip" Electronic Purse Application (Abstract)

A.M. Holzbach

pp. 69

PDF

On The Design Of Secure Electronic Payment Schemes For Internet (Abstract)

V. Varadharajan, Distributed Syst. & Network Security Res. Unit, Univ. of W. Sydney, Kingswood, NSW, Australia

Yi Mu, Distributed Syst. & Network Security Res. Unit, Univ. of W. Sydney, Kingswood, NSW, Australia

pp. 78

PDF

Innovative Secure Payments On The Internet Using The German Electronic Purse (Abstract)

B. Althen, IT-Security Branch, debis Systemhaus GEI, Bonn, Germany

G. Enste, IT-Security Branch, debis Systemhaus GEI, Bonn, Germany

B. Nebelung, IT-Security Branch, debis Systemhaus GEI, Bonn, Germany

pp. 88

PDF

Cryptographic Protocols

Proxies For Anonymous Routing (Abstract)

M.G. Reed, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

P.F. Syverson, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

D.M. Goldschlag, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

pp. 95

PDF

Design Choices For Symmetric Key Based Inter-Domain Authentication Protocols In Distributed Systems (Abstract)

M. Hitchens, Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia

V. Varadharajan, Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia

pp. 105

PDF

Verifying The Correctness Of Cryptographic Protocols Using "Convince" (Abstract)

R.W. Lichota, Hughes Tech. Services Co., Fullerton, CA, USA

G.L. Hammonds, Hughes Tech. Services Co., Fullerton, CA, USA

S.H. Brackin, Hughes Tech. Services Co., Fullerton, CA, USA

pp. 117

PDF

Security Issues In An Edi Environment (Abstract)

N. Zhang, Dept. of Comput., Manchester Metropolitan Univ., UK

Q. Shi, Dept. of Comput., Manchester Metropolitan Univ., UK

pp. 129

PDF

Forum: Security and the National Telecommunications Infrastructure

Security and the National Telecommunications Infrastructure (PDF)

pp. 138

Security Architecture

Using Fortezza For Transparent File Encryption (Abstract)

J. Epstein, Cordant Inc., Reston, VA, USA

T. Williams, Cordant Inc., Reston, VA, USA

pp. 140

PDF

An Extended Capability Architecture To Enforce Dynamic Access Control Policies (Abstract)

I-Lung Kao, Distributed Syst. Services, IBM Corp., Austin, TX, USA

R. Chow, Distributed Syst. Services, IBM Corp., Austin, TX, USA

pp. 148

PDF

SIGMA: Security For Distributed Object Interoperability Between Trusted And Untrusted Systems (Abstract)

E.J. Sebes, Trusted Inf. Syst. Inc., Mountain View, CA, USA

T.C. Vickers Benzel, Trusted Inf. Syst. Inc., Mountain View, CA, USA

pp. 158

PDF

Firewalls

Operation chain link: the deployment of a firewall at Hanscom Air Force Base (Abstract)

J.L. Connolly, Mitre Corp., Bedford, MA, USA

pp. 170

PDF

Mandatory Protection for Internet Server Software (Abstract)

R.E. Smith, Secure Comput. Corp., Roseville, MN, USA

pp. 178

PDF

Using a Proxy X Server to Facilitate COTS Application Integration (Abstract)

E.M. Kayden, Mitre Corp., McLean, VA, USA

pp. 185

PDF

Data Base Security

A Comparison of Multilevel Structured Query Language (SQL) Implementations (Abstract)

R. Burns

Y. Koh

pp. 192

PDF

A Role-Based Secure Database Design Tool (Abstract)

L. Giuri, Fondazione Ugo Bordoni, Rome, Italy

P. Iglio, Fondazione Ugo Bordoni, Rome, Italy

pp. 203

PDF

Assurance

Case-Based Reasoning for Intrusion Detection (Abstract)

M. Esmaili, Dept. of Comput. Sci., Wollongong Univ., NSW, Australia

B. Balachandran, Dept. of Comput. Sci., Wollongong Univ., NSW, Australia

R. Safavi-Naini, Dept. of Comput. Sci., Wollongong Univ., NSW, Australia

J. Pieprzyk, Dept. of Comput. Sci., Wollongong Univ., NSW, Australia

pp. 214

PDF

A Modular Covert Channel Analysis Methodology for Trusted DG/UX/sup TM/ (Abstract)

R.A. Kemmerer, Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA

T. Taylor, Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA

pp. 224

PDF

Formal Techniques for an ITSEC-E4 Secure Gateway (Abstract)

P. Bieber, ONERA-CERT, Toulouse, France

pp. 236

PDF

Panel: Major Questions in Applying the SSE-CMM

Major Questions in Applying the SSE-CMM (PDF)

pp. 247

Index of Authors (PDF)

pp. 249