Han Gao

	2011
12		Han Gao, Flemming Nielson, Hanne Riis Nielson: Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389
11		Han Gao, Flemming Nielson, Hanne Riis Nielson: CaPiTo: protocol stacks for services. Formal Asp. Comput. 23(4): 541-565 (2011)
	2010
10		Flemming Nielson, Han Gao, Hanne Riis Nielson: The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1
9		Han Gao, Jing-wen Li, Wei Yang: Investigation on moving target detection and velocity estimation with Triple-Channel MIMO-SAR. IGARSS 2010: 4636-4639
8		Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao: Detecting and preventing type flaws at static time. Journal of Computer Security 18(2): 229-264 (2010)
	2008
7		Han Gao, Chiara Bodei, Pierpaolo Degano: A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST 2008: 167-183
	2007
6		Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
5		Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo: Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007)
	2006
4		Han Gao, Hanne Riis Nielson: Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43
	2005
3		Han Gao, Ivan R. Judson, Thomas D. Uram, S. Lefvert, Terry Disz, Michael E. Papka, Rick L. Stevens: An Infrastructure of Network Services for Seamless Integration in Advanced Collaborative Computing Environments. CLUSTER 2005: 1-10
2		Han Gao, Michael E. Papka, Rick L. Stevens: Performance Metrics of IP Multicast Sessions. ISM 2005: 183-192
	2004
1		Han Gao, Ivan R. Judson, Thomas D. Uram, Terry Disz, Michael E. Papka, Rick L. Stevens: Capability matching of data streams with network services. CCGRID 2004: 419-425

Coauthor Index

1	Chiara Bodei	[5] [6] [7] [8]
2	Linda Brodo	[5] [8]
3	Pierpaolo Degano	[5] [6] [7] [8]
4	Terry Disz (Terrence Disz)	[1] [3]
5	Ivan R. Judson	[1] [3]
6	S. Lefvert	[3]
7	Jing-wen Li	[9]
8	Flemming Nielson	[10] [11] [12]
9	Hanne Riis Nielson	[4] [6] [10] [11] [12]
10	Michael E. Papka	[1] [2] [3]
11	Rick L. Stevens (Rick Stevens)	[1] [2] [3]
12	Thomas D. Uram	[1] [3]
13	Wei Yang	[9]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page