Skip to Content

Faculty of Science

Mission

Achieve fundamental advances in security concepts and techniques and their application to distributed system and 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 Distributed Systems, Internet and Web Centric Applications, Service Oriented Architectures, Wired, Wireless and Mobile Networks, Mobile Devices and Information Appliances.

Our research is aimed at

  • Improving the understanding of the security requirements for distributed systems and networks
  • Developing security and trust models
  • Designing Security Services and Mechanisms and their Security Management
  • Conducting Formal Verification and Analysis of Security Properties
  • • Developing Practical Security Solutions for various Business Segments such as Healthcare, Financial, Defense and Internet applications

Current Scope of Research

Distributed System Security

  • Theory and Design of Distributed System Security Architecture
  • Scalable Secure Policy based Dynamic Distributed Systems
  • Secure Distributed Authorization in Service Oriented Architectures
  • Security Policy Specification Language and Management
  • Delegation, Conflict Resolution and Revocation
  • Trust Management Architecture for Distributed Systems
  • Trust Models, Policies and Negotiation
  • Integration of Trust with the Distributed Infrastructure
  • Trust Enhanced Secure Distributed Applications
  • Security for Distributed and Virtual Enterprises

Networks Security

  • Network Security Architecture
  • Broadband and Internet Security
  • Counteracting Distributed Denial of Service Attacks in Networks
  • Secure Mobile Ad hoc and Sensor Networks
  • Decentralized Trust Management in Self-Organized Dynamic Networks
  • Secure Location Management in Networks
  • Secure Multicasting and Dynamic Group Management
  • Secure Network and Service Management

Trusted Computing

  • Trusted Platform Technologies
  • Property based Attestation
  • Trust Models
  • Trust Enhanced Secure Peer to Peer Applications
  • Trust Model for Web based Interactions

Security and Virtualization

  • Security Models for Virtual Machine based Systems
  • Security Policies for Hypervisors
  • Virtualization in Trusted Platforms
  • Intrusion Detection Techniques using Virtualization

Mobile Computing Security

  • Mobile Software Security
  • Trust Models and Management for Mobile Agents
  • Privilege and Policy Management
  • Secure Agent based Applications

Secure Internet Applications

  • Secure ECommerce Applications
  • Secure Internet Voting
  • Secure Internet Games
  • Secure Internet Auctions and Internet Gambling
  • Secure Fair Exchange Protocols
  • Secure Peer to Peer Computing

Security Theory and Analysis

  • Formal Reasoning about Security
  • Logic based Analysis of Security Policies and Protocols
  • Security Policy based Reasoning
  • Synthesis of Systems with required Security and Safety Properties
  • Formal Security Specifications and Verification

Achieve fundamental advances in security concepts and techniques and their application to distributed system and networked computing technologies.

These include






Exercitationem

Visi ut aliquid ex

Ut enim ad minima veniam, quis nostrum exercitationem ullam corporis suscipit laboriosam, nisi ut aliquid ex ea commodi consequatur.

Visi ut aliquid ex

Quis autem vel eum iure reprehenderit qui in ea voluptate velit esse quam nihil molestiae consequatur, vel illum qui dolorem eum fugiat quo voluptas nulla pariatu

Et harum quidem rerum facilis est et expedita distinctio.