Title :
Proceedings. The Computer Security Foundations Workshop IV (Cat. No.91TH0383-0)
Abstract :
The following topics are dealt with: models and issues: information flow models; integrity; cryptographic protocols; and database management systems (DBMS)
Keywords :
computer viruses; data integrity; database management systems; formal specification; protocols; security of data; cryptographic protocols; database management systems; information flow models; integrity; security requirements;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH, USA
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151601
