Security for Computer Systems and Networks

Security is now a primary objective in computer systems and networks, providing privacy, integrity, authentication, digital signature, etc. Security is also recognized as a part of mathematics, of analysis of complexity and of mathematical logic. Indeed formal frameworks used for programming languages and concurrency theory have been used to describe security protocols. India has already many specialists in security of computer systems; the school will contribute to train graduate students and researchers, in order to increase their mathematical approach to security.