Proceedings of the June 1996 workshop exploring computer security issues such as access control, cryptographic protocols, database security, information flow, and formal methods for security. Offers sessions and panels on areas such as protocol specification and analysis tools, E-commerce payment pr"