Zhaohui (Michael) Cheng's Home

Office:R025

Tel:44-20-8411-4932

email: m.z.cheng@mdx.ac.uk

Middlesex University

The Burroughs Hendon
London NW4 4BT

Research

CV

Album

Security Research Link

under construction

Areas:

Mobile Wireless Network

Network Security and Cryptography Application

Related Links:

Ad hoc Network (WLAN)

Routing

Nitin H. Vaidya. "Mobile Ad Hoc Networks: Routing, MAC and Transport Issues", UIUC,2001

Security

Collection of security papers of  ad hoc networks

The Unofficial 802.11 Security Web Page

Mobile IP

Specification

Mobile IPv4

Mobile IPv6

Security

Zhaohui Cheng. "Mobile IPv6 BU Security Schemes ", Fudan University, May, 2002

Security for Neighbor Discovery

Securing IPv6 neighbor and router discovery, Sep. 2002

Authentication, Authorization, Accounting

Telecommunication Network

3GPP Security

USECA. "Intermediate report on UMTS security mechanisms", Apr. 1999

USECA. "Intermediate report on UMTS security architecture", Aug. 1999

3GPP. "3G Security: Security Architecture", Dec. 2002

3GPP. "Formal Analysis of the 3G Authentication Protocol with Modified Sequence Number Management", Sep. 2001

3GPP. "Formal analysis of 3G authentication and key agreement protocol", Sep. 2001

3GPP IMS

3GPP. "IP Multimedia Subsystem", Jan. 2003

3GPP. "IP Multimedia Call Control Protocol based on SIP and SDP", Mar. 2003

3GPP. "Access Security for IP-based services", Mar. 2003

3GPP2

Open Mobile Alliance

Future Wireless Network (All-IP)

4G

King's College 4G Forum

IST-MIND

Handover (Micro-mobility)

Hawarii

Cellular IP

HMIP

Seamless Mobility

IP Paging...

Multicast Security

 

Cryptography

Theory

Number Theory

Information Theory

Abstract Algebra

Cryptography

Algorithms

  1. AES

    Joan Daemen, Vincent Rijmen."AES Proposal: Rijndael", Sep.1999

    Zhaohui Cheng, "Some Mathematical Preliminaries in AES", Apr. 2003

  2. RSA

  3. ElGamal

  4. ECC

  5. SHA

  6. MD5

Cryptographic Protocol

Alec F. Yasinsac. "A Formal Semantics for Evaluating Cryptographic Protocols", Jan. 1996

Leslie Lamport. "The Temporal Logic of Actions", Apr. 1994

Michael Burrows, Martin Abadi, Roger Needham. "A Logic of Authentication", 1990

Martin Abadi,Roger Needham. "Prudent Engineering Practice for Cryptographic Protocols", Jan. 1996

John Clark, Jeremy Jacob. "A Survey of Authentication Protocol Literature: Version 1.0", Nov. 1997

Ubiquitous Computing

Context-aware Computing

Mobile Code

Seminars:

Cryptography

Some Fundamental Knowledge

Information Theory

Number Theory 

Abstract Algebra

Robert B.Ash. "Abstract Algebra", Math@UIUC

Zhaohui Cheng. "Notes on Number Theory and Abstract Algebra" (internal)

Cryptography

"Lecture Notes on the Complexity of Some Problems in Number Theory" Math@Yale

"Handbook of Applied Cryptography" Math@Waterloo

"Lecture Notes on Cryptography" CS@UCSD

Zhaohui Cheng. "Notes on Cryptography" (internal)

Wireless Network

Mobile IP

SIP

Dorgham Sisalem, Jiri kuthan. "Understanding SIP"

SCTP

 

Other Useful Links:

VPN

VPNC

Freeswan

Super Freeswan

 

Linux Network

NAPI

TCP/IP Stack Analyze

Simulation Tools

NS2

OMNet++

WITRC

 

This page was last updated on 09/27/05.