The workshop will bring together mathematicians and scientists to cover the broad area of security analysis of network protocols. The ultimate objective of this venture is to have a significant long-term impact in the relevant fields of research in both India and the UK.