Computer security is an established field of Computer Science of both theoretical and practical significance. In recent years, there has been increasing interest in logic-based foundations for various methods in computer security, including the formal specification, analysis and design of cryptographic protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis.

• Call for papers
• Program
• Location: SITE Building, room A0150
• Pre-proceedings
  • Technical Report TR-2003-04, Computer Science Department, University of Ottawa [ps, pdf]
  • Local copies [ps, pdf]

• LICS'03 Registration page
• Participants

Program Chair

Iliano Cervesato ITT Industries, Inc. - AES Division 2560 Huntington Avenue Alexandria, VA 22303-1410 - USA +1-202-404-4909