Security is a central issue in modern computer systems.
Confidentiality of information, appropriate access to resources, user authentication, verification of mobile code, are just a few of the concerns on which security impinges. The underlying issues, or at least their formalisation, have much in common with those studied over the last fifteen years by researchers in program semantics, particularly in concurrency theory. The object of the workshop is to bring together semanticists and security specialists, in an informal setting, to investigate the extent to which techniques and concepts developed in program semantics and concurrency theory may be applied to, or adapted for security problems. The workshop will consist of a number of thirty minute talks by researchers who have already been involved with the application of some form of concurrency theory to security issues, followed by a panel discussion. It is hoped that the panel discussion will identify fruitful avenues of research, and particular security issues which could be tackled using semantics based techniques.