Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy (Cat. No.91CH2986-8)

摘要

The following topics are dealt with: covert channels; models; distributed systems; protocol verification; security policy; authentication; database security; intrusion detection; and information theory.