Workshop announcement:

The Seventeenth International Workshop on Security Protocols took place from Wednesday April 1st to Friday April 3rd, 2009 at Sidney Sussex College, Cambridge, England.

The provisional schedule is now available. Sorry I didn't have time to provide links to the position papers

As with previous years, attendance at the International Workshop on Security Protocols is by invitation only.


The theme of this year's workshop is "Brief Encounters".

In the old days, security protocols were typically run first as preliminaries to, and later to maintain, relatively stable continuing relationships between relatively unchanging individual entities. Pervasive computing, e-bay and second life have shifted the ground: we now frequently desire a secure commitment to a particular community of entities, but relatively transient relationships with individual members of it, and we are often more interested in validating attributes than identity. What opportunities does this give us to move beyond the security infrastructure we currently have? Are some security properties becoming increasingly problematic simply because they no longer engage with user concerns?

The theme itself is not intended to restrict the topic of your paper, but to help provide a particular perspective and to focus the discussions. Our intention is to stimulate discussion likely to lead to conceptual advances, or to promising new lines of investigation, rather than merely to consider finished work.


Short indicative submissions are preferred, preferably no more than 2000 words. You will have the opportunity to extend and revise your paper both before the pre-proceedings are issued, and again after the workshop. At the workshop, you will be expected to spend about ten minutes introducing the idea of your paper, in a way which facilitates a longer more general discussion.

Pre-proceedings will be provided at the workshop. The proceedings of previous workshops in this series have been published by Springer-Verlag as Lecture Notes in Computer Science (see LNCS 4631, 3957, 3364, 2845, 2467, 2133, 1796, 1550, 1361 and 1189). If you have not previously attended the Security Protocols Workshop, you may find it helpful to refer to these to get an idea of the flavour.


The exact cost of the workshop is to be determined, but is likely to be in the region of 300 GBP (which will include lunches and a formal dinner in Jesus College).


Jan 31st Submission deadline

Feb 28th Notification to authors

Mar 18th Revised papers due and deadline for registration

Apr 1...3 Workshop in Cambridge


To be considered for invitation, you must send a first draft of a position paper to James Malcolm ( by the deadline noted above. If you wish, you may make an initial response to say that you are potentially interested. Feel free to circulate this invitation widely, but do remember that the workshop has a limited size and in order to be invited you must submit a position paper.


If you have any enquiries about the workshop then please contact one of the organizing committee:

* Chairman: Bruce Christianson (Email: B.Christianson AT
Professor of Informatics, University of Hertfordshire

* Paper submission to: James A. Malcolm (Email: J.A.Malcolm AT, Tel: +44-1707-284310).


The Seventeenth International Workshop on Security Protocols is financially supported by Microsoft Research and is organized by the University of Hertfordshire.