Proceedings of the 1988 IEEE Symposium on Security and Privacy(Cat. No.88CH2558-5)

摘要

The following topics are dealt with: formal security models;nsecurity in distributed systems; emerging issues; database security;nanalysis of secure systems; applying and implementing integrity models;nverification; and models of secure distributed systems. Abstracts ofnindividual papers can be found under the relevant classification codesnin this or other issues