Title :
1993 Computer Security Foundations Workshop VI Proceedings (Cat. No.93TH0561-1)
Abstract :
The following topics are dealt with: covert channel analysis; information flow; integrity and aggregation; access control; cryptoprotocol analysis; formal security models; and security verification techniques
Keywords :
data integrity; data privacy; formal logic; formal verification; operating systems (computers); protocols; security of data; access control; aggregation; covert channel analysis; cryptoprotocol analysis; formal security models; information flow; integrity; security verification techniques;
Conference_Titel :
Computer Security Foundations Workshop VI, 1993. Proceedings
Conference_Location :
Franconia, NH, USA
Print_ISBN :
0-8186-3950-4
DOI :
10.1109/CSFW.1993.246644
