Title :
Proceedings. The Computer Security Foundations Workshop III (Cat. No.TH0315-2)
Abstract :
The following topics are dealt with: logic and protocol analysis; models of information flow; information flow in abstract machines; modeling new properties; covert channel detection; and database security
Keywords :
automata theory; formal logic; operating systems (computers); protocols; relational databases; security of data; abstract machines; covert channel detection; database security; information flow; protocol analysis;
Conference_Titel :
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location :
Franconia, NH, USA
Print_ISBN :
0-8186-2071-4
DOI :
10.1109/CSFW.1990.128177
