1984 IEEE Symposium on Security and Privacy
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE

0818605324

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Practical Experience with an Ada-Based Formal Specification/Language on a Large Project

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10008 ◽

1984 ◽

Author(s):

Larry Yelowitz

Keyword(s):

Formal Specification ◽

Practical Experience ◽

Specification Language ◽

Large Project ◽

Formal Specification Language

Download Full-text

Multinet Gateway - Towards A1 Certification

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10005 ◽

1984 ◽

Author(s):

George W. Dinolt ◽

Peter C. Baker ◽

Richard B. Neely ◽

James Freeman

Download Full-text

Attacks on Computers: Congressional Hearings and Pending Legislation

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10012 ◽

1984 ◽

Author(s):

David Bailey

Keyword(s):

Congressional Hearings

Download Full-text

Formal Verification of a Secure Network with End-to-End Encryption

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10009 ◽

1984 ◽

Author(s):

Dianne E. Britton

Keyword(s):

Formal Verification ◽

Download Full-text

Comments from the program Co-Chairperson

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10014 ◽

1984 ◽

Download Full-text

Analysis of a Kemel Verification

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10015 ◽

1984 ◽

Author(s):

Terry Vickers Benzel

Download Full-text

A Gypsy-Based Kernel

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10004 ◽

1984 ◽

Author(s):

Bret A. Hartman

Download Full-text

Design Experiences from the Multilevel Secure MCF Operating System

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10018 ◽

1984 ◽

Author(s):

John O. Neilson ◽

Frederick E. Wuebker

Keyword(s):

Operating System

Download Full-text

A Secure One-Way Hash Function Built from DES

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10027 ◽

1984 ◽

Author(s):

Robert S. Winternitz

Keyword(s):

Download Full-text

An Augmented Capability Architecture to Support Lattice Security and Traceability of Access

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10001 ◽

1984 ◽

Author(s):

Paul A. Karger ◽

Andrew J. Herbert

Download Full-text