The Twetieth International Workshop on Security Protocols will take place from Wednesday April 11th to Friday April 13th, 2012 at Sidney Sussex College, Cambridge, England.
As with previous years, attendance at the International Workshop on Security Protocols is by invitation only.
In order to be invited you must submit a position paper. You are therefore encouraged to consider submitting such a paper.
The theme of this year's workshop is "Bringing Protocols to Life".
Animation of protocol specifications and automation of protocol
correctness proofs seem to be converging -- or are they? Should
abstract protocol modelling be extended to cover the embedding of
security protocols into the run-time environment and the management
of the system resources that they require? Do we need to model the
application, and at what level of abstraction? What hidden
assumptions are we making?
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.
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 6615, 5964, 5087, 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 31st Revised papers due and deadline for registration
April 11th Workshop in Cambridge
To be considered for invitation, you must send a first draft of a position paper to James Malcolm (j.a.malcolm@herts.ac.uk) 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 you might
want to look at the rules, but if your
question is not answered there, please contact
one of the organizing committee:
* Chairman: Bruce Christianson (Email: B.Christianson AT
herts.ac.uk)
Professor of
Informatics, University of Hertfordshire
* Paper submission to: James A. Malcolm (Email: J.A.Malcolm AT herts.ac.uk, Tel: +44-1707-284310).
