Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Secure Communication Protocols
Gao, Han
(PhD Student)
Baumeister, Hubert
(Examiner)
Cortesi, Agostino
(Examiner)
Gilmore, Stephen
(Examiner)
Nielson, Hanne Riis
(Main Supervisor)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/09/2004
→
29/05/2008
Funding
Programbevilling
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Security Analysis
Keyphrases
100%
Security Properties
Keyphrases
100%
Security Protocols
Keyphrases
100%
Annotation
Computer Science
100%
Security protocols
Computer Science
100%
Control Flow Analysis
Keyphrases
50%
Control-Flow Analysis
Computer Science
50%
Means of Communication
Keyphrases
25%
Research output
Publications per year
2008
2008
2008
1
Ph.D. thesis
Publications per year
Publications per year
Analysis of Security Protocols by Annotations
Gao, H.,
May 2008
, Kgs. Lyngby, Denmark:
Technical University of Denmark
. (DTU Compute PHD; No. 190).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Security Analysis
100%
Security Properties
100%
Security Protocols
100%
Annotation
100%
Security protocols
100%
523
Downloads (Pure)