The Community for Technology Leaders
Green Image
Issue No. 02 - February (vol. 13)
ISSN: 0098-5589

Controls for Interorganization Networks (Abstract)

D. Estrin , Department of Computer Science, University of Southern California
pp. 249-261

IEEE Computer Society (PDF)

pp. c2

Guest Editors' Note (PDF)

pp. 125-128

Extending the Noninterference Version of MLS for SAT (Abstract)

J.T. Haigh , Honeywell Secure Computing and Technology Center
pp. 141-150

Muse?A Computer Assisted Verification System (Abstract)

J.D. Halpern , Department of Government Research and Development, Sytek, Inc.
pp. 151-156

Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language (Abstract)

D.M. Berry , SDC, A Burroughs Company, Santa Monica, CA. 90405, and the Department of Computer Science, University of California
pp. 184-201

On Access Checking in Capability-Based Systems (Abstract)

R.Y. Kain , Department of Electrical Engineering, University of Minnesota
pp. 202-207

An Intrusion-Detection Model (Abstract)

D.E. Denning , SRI International
pp. 222-232

Factors Affecting Distributed System Security (Abstract)

D.M. Nessett , Lawrence Livermore National Laboratory, University of California
pp. 233-248

Cycle Structure of the DES for Keys Having Palindromic (or Antipalindromic) Sequences of Round Keys (Abstract)

J.H. Moore , Department of Applied Mathematics, Sandia National Laboratories
pp. 262-273

Covert Channels in LAN's (Abstract)

C.G. Girling , Topexpress Ltd.
pp. 292-296

Call for Papers (PDF)

pp. 296
91 ms
(Ver 3.3 (11022016))