IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Research in Security and Priva ...

Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on

Date 7-9 May 1990

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy (Cat. No.90CH2884-5)

Adaptive real-time anomaly detection using inductively generated sequential patterns

Modeling security-relevant data semantics

A hierarchical methodology for verifying microprogrammed microprocessors

Transaction processing in multilevel-secure databases using replicated architecture

Security models and information flow

A network security monitor

The deductive theory manager: a knowledge based system for formal verification

Referential secrecy

Information privacy issues for the 1990s

Constructively using noninterference to analyze systems

Some conundrums concerning separation of duty

Reasoning about belief in cryptographic protocols

Formal construction of provably secure systems with Cartesiana

The auditing facility for a VMM security kernel

Multiversion concurrency control for multilevel secure database systems

Information flow in nondeterministic systems

An architecture for practical delegation in a distributed system

Extending the Brewer-Nash model to a multilevel context

On the formal specification and verification of a multiparty session protocol

A VMM security kernel for the VAX architecture

Probabilistic interference

Beyond the pale of MAC and DAC-defining new forms of access control

Verifying a hardware security architecture

The role of trust in protected mail

IEEE Account

Purchase Details

Profile Information

Need Help?