Recent Publications
- A New
Procedure of Cryptographic Protocol Attack Detection, SAM'2002
- New Attacks
on Some Cryptographic Protocols, SAM'2002
- IPsec/VPN
Security Policy: Correctness ,Conflict Detection and Resolution,
POLICY'2001
- Towards Building a Network Security Infrastructure, Ph.D Dissertation,
2000
- A New Taxonomy
of Cryptographic Protocol Attacks, FMCS'2000
- ISCP: Design
and Implementation of An Inter-domain Security Management Agent Coordination
Protocol, NOMS'2000
- Building
Security-aware Applications Using Celestial Security Management
Infrastructure, IC'2000
- Celestial
Security Management System, DISCEX'2000