11th IEEE Computer Security Foundations Workshop

Papers from the eleventh IEEE Computer Security Foundations Workshop, held in 1998 at Rockport, bring together research on how computer systems can protect data and personal privacy. The volume explores who may access what, and how sensitive information can leak from one place to another. Contributions also address hidden communication channels, secure communication protocols, and the security of databases. Further chapters cover methods for proving that a system behaves securely, along with formal models of data integrity and system availability.