Efficient and Reliable Techniques for Validating Network Security
by Suku Nair
The research will focus mainly on reliability and security of communication networks, specifically addressing problems in network security. With the unprecedented growth in electronic commerce on the worldwide web, a key concern is the security of the messages, which form the backbone of the electronic transactions. The objective of this research is to develop efficient and reliable techniques for validating the security of various protocols that are used in electronic commerce, at the design as well as at the implementation levels. Further, we propose to investigate the relationship between security and reliability of communication channels and thereby develop a new approach to ensuring security through Meta-channels. The body of knowledge developed in this research will draw from and contribute to the following key areas: network protocols, network simulation, formal verification of protocols, network reliability engineering, and genetic algorithms.
Projects
2002-2003
2001-2002
Technical Reports
Special Emphasis
