Title :
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy
Abstract :
The following topics were dealt with: security and privacy research; formal modelling of cryptographic protocols; information flow; secure systems composition; secure DBMS; cryptographic engineering; distributed systems security; and access control
Keywords :
data privacy; database management systems; formal verification; protocols; security of data; access control; cryptographic engineering; cryptographic protocols; distributed systems security; formal modelling; information flow; privacy research; secure DBMS; secure systems composition;
Conference_Titel :
Research in Security and Privacy, 1994. Proceedings., 1994 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-5675-1
DOI :
10.1109/RISP.1994.296597
