dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Han Gao (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Flemming Nielson, Hanne Riis Nielson: Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Flemming Nielson, Hanne Riis Nielson: CaPiTo: protocol stacks for services. Formal Asp. Comput. 23(4): 541-565 (2011)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Han Gao, Hanne Riis Nielson: The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Hanne Riis Nielson: Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43

Selection of 5 from 12 records - Han Gao has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page