New Security Paradigms Workshop, August 3-5, 1994, Little Compton, Rhode Island

Session 1: Policy and Value Models

  • Modeling the "Multipolicy Machine", D. Elliott Bell
  • Messages, Communication, Information Security and Value, John Dobson

    Session 2: Architectures

  • New Email Security Infrastructure, Martin Ferris
  • "HIS-Trek - The Next Generation:" An Introduction to Future Hospital Information Systems, Thomas L. Lincoln
  • Healthcare Information Architecture: Elements of a New Paradigm, Daniel J. Essin and Thomas L. Lincoln

    Session 3: Fuzzy Systems

  • Anomaly Detection - A Soft Computing Approach, T. Y. Lin
  • Fuzzy Sets and Secure Computer Systems, Sergei Ovchinnikov

    Session 4: Semantics of Secrecy

  • Formal Semantics of Confidentiality in Multilevel Logic Databases, Adrian Spalka
  • What is a Secret - and - What does that have to do with Computer Security?, Ruth Nelson

    Session 5: Security Mechanisms and Developoment Methods

  • A New Approach to Security System Development, Silvana Castano, Giancarlo Martella, and Pierangela Samarati
  • Providing Non-Hierarchical Security through Interface Mechanisms, Deborah Hamilton

    Session 6: Cryptography and Access Controls

  • Designing Encryption Algorithms for Real People, Bruce Schneier
  • A Discretionary Access Control Model with Temporal Authorizations, Elisa Bertino, Claudio Bettini, and Pierangela Samarati

    Session 7: Rethinking TCB Boundaries Panel D. Sterne, R. Nelson, and H. Hosmer

  • Versatile Integrity and Security Environment (VISE) for Computer Systems, Charles G. Limoges, Ruth R. Nelson, John H. Heimann, and David S. Becker