Proceedings: 1992 IEEE Computer Society Symposium on Research in Security and Privacy, May 4-6, 1992, Oakland, CaliforniaThe proceedings of the 1992 IEEE Computer Society Symposium on [title] held in Oakland, California, May 1992, comprise 21 papers that reflect current research on distributed systems, covert channels, cryptographic protocols, security models, information flow, concurrency control, systems, and database security. No index. Annotation copyrighted by Book News, Inc., Portland, OR. |
Contents
On InterRealm Authentication in Large Distributed Systems | 2 |
Integrating Security in a Group Oriented Distributed System | 18 |
A Formal Approach | 33 |
Copyright | |
20 other sections not shown
Other editions - View all
Common terms and phrases
algorithm allow analysis application architecture assume attacker attributes authentication authorization base block bogus channel client command communication Computer condition consider constraint contains create database defined definition described discussed distributed encryption example execution exists extension Figure formal function give given IEEE implementation input instance integrity knows lattice logic mechanism MTAM Note object obtain operations pair path performance possible present principal problem proof properties protection protocol queue random realm received relation represent representation request requirements resource result role rule safety satisfy scheduler scheme secrecy selected semantics sent server session single slot snapshot specification structures tion traces transactions trusted variable write