Title :
Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238)
Abstract :
The following topics are dealt with: computer security; distributed services; noninterference; protocol verification; authentication; protocol model checking; composition; protocol logics; distributed computing; and database and intrusion detection
Keywords :
database management systems; distributed processing; formal verification; protocols; security of data; authentication; composition; computer security; distributed computing; distributed services; intrusion detection; noninterference; protocol logics; protocol model checking; protocol verification;
Conference_Titel :
Computer Security Foundations Workshop, 1998. Proceedings. 11th IEEE
Conference_Location :
Rockport, MA, USA
Print_ISBN :
0-8186-8488-7
DOI :
10.1109/CSFW.1998.683148
