1985 IEEE Symposium on Security and Privacy
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE

0818606290

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computer Privacy in America: Conflicting Practices and Policy Choices

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10013 ◽

1985 ◽

Author(s):

Ben G. Matley

Keyword(s):

Policy Choices ◽

Computer Privacy

Download Full-text

Network Security Overview

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10002 ◽

1985 ◽

Cited By ~ 9

Author(s):

Stephen T. Walker

Keyword(s):

Network Security

Download Full-text

Ada's Suitability for Trusted Computer Systems

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10020 ◽

1985 ◽

Cited By ~ 4

Author(s):

Eric R. Anderson

Keyword(s):

Computer Systems

Download Full-text

Security Considerations for Autonomous Robots

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10015 ◽

1985 ◽

Cited By ~ 1

Author(s):

Douglas M. Gage

Keyword(s):

Autonomous Robots

Download Full-text

Preface

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10025 ◽

1985 ◽

Download Full-text

The Restricted Access Processor An Example of Formal Verification

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10000 ◽

1985 ◽

Cited By ~ 2

Author(s):

Norman Proctor

Keyword(s):

Formal Verification ◽

Restricted Access

Download Full-text

Trusted Software Verification: A Case Study

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10003 ◽

1985 ◽

Cited By ~ 2

Author(s):

Terry C. Vickers Benzel ◽

Deborah A. Tavilla

Keyword(s):

Software Verification

Download Full-text

How to (Selectively) Broadcast A Secret

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10006 ◽

1985 ◽

Cited By ~ 16

Author(s):

Gustavus J. Simmons

Download Full-text

Non-Discretionary Controls for Inter-Organization Networks

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10004 ◽

1985 ◽

Cited By ~ 5

Author(s):

Deborah Estrin

Keyword(s):

Organization Networks

Download Full-text

A Database Encryption Scheme Which Allows the Computation of Statistics Using Encrypted Data

1985 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1985.10024 ◽

1985 ◽

Cited By ~ 8

Author(s):

G.R. Blakley ◽

Catherine Meadows

Keyword(s):

Encryption Scheme ◽

Encrypted Data ◽

Database Encryption

Download Full-text