The research undertaken by the Data Communications Security Laboratory (DCSL) at UL includes fundamental and applied research in information security for data communication networks. The research work includes: cryptographic algorithms and protocols for open hostile environments, global-wide identification, authentication and access control schemes, non-repudiation protocols, formal verification of security protocols using logical techniques and the newly developing area of steganography & information hiding. The work results in the creation of verifiably secure communication protocols as well as the verification of existing cryptographic-based secure protocols for use in the Internet, electronic commerce and mobile communication systems.

Keywords:

Information Security; Data Communication Networks; Cryptographic Algorithms; Hostile Environments; Global-wide Identification; Authentication and Access Control Schemes; Non-repudiation Protocols; Formal Verification of Security Protocols; Steganography; Information hiding