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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 1

Author(s):

David Bailey

Keyword(s):

Congressional Hearings

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

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 ◽

Cited By ~ 7

Author(s):

Terry Vickers Benzel

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 ◽

Cited By ~ 3

Author(s):

Dianne E. Britton

Keyword(s):

Formal Verification ◽

End To End ◽

Secure Network

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 ◽

Cited By ~ 42

Author(s):

Robert S. Winternitz

Keyword(s):

Hash Function

Download Full-text

A Gypsy-Based Kernel

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10004 ◽

1984 ◽

Cited By ~ 2

Author(s):

Bret A. Hartman

Download Full-text

Hardware Requirements for Secure Computer Systems: A Framework

1984 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1984.10023 ◽

1984 ◽

Cited By ~ 1

Author(s):

Carl E. Landwehr ◽

John M. Carroll

Keyword(s):

Computer Systems

Download Full-text