 | Information and Networked Systems Security Research |
Our Mission
Achieve fundamental advances in security concepts and techniques and their application to mobile networked computing technologies.
Thorough conducting and exploiting world class research.
To enable secure design of systems and applications and to improve security in organizations.
Objectives
Our research addresses security techniques for Wired and Wireless Networks, Fixed and Mobile Distributed Applications, Small Information Appliances to Large Scale Distributed Systems.
Our research:
- Improving the understanding of the security requirements for distributed systems and networks
- Development of security models and trust schemes
- Design of Security Services and Mechanisms and their Security Management Formal Security Models and Verification of Security Properties
- Development of Practical Security Solutions for various Business
Current Scope of Research
Distributed System Security
- Theory and Design of Distributed System Security Architecture
- Distributed Authentication Models and Service
- Distributed Authorization Models and Service
- Security Policy Specification Language
- Delegation, Conflict Resolution and Revocation
- Security Policy Management
- Secure and Privacy for Web Services and .NET Security
- Security for Distributed and Virtual Enterprises
- Secure Distributed Storage
Networks Security
- Network Security Architecture
- Broadband Security
- Internet Security
- Secure Location Management in Networks
- Secure Multicasting
- Secure Dynamic Group Management
- Secure Mobile and Wireless Networks
- Distributed Denial of Service
- Secure Network Management
Mobile Computing Security
- Mobile Communications Security
- Mobile Software Agents Security
- Malicious Hosts Problem
- Trust Models and Trust Management
- Privilege and Policy Management
- Secure Agent based Applications
- Formal Reasoning about Security and Mobility
E-Commerce Security
- Electronic Payment Scheme
- Secure Internet Applications such as Auctions and Voting
- Secure Internet Marketplaces
- Secure Fair Exchange Protocols
- Secure Peer to Peer Computing
- Public Key Infrastructure
Security Theory and Analysis
- Trustworthy Computing
- Cryptographic Techniques and Protocols
- Formal Security Models and Specification
- Formal Security Verification
- Security Calculus