Items where Author is "Gao, Han"

Group by: Item Type | No Grouping

Number of items: 2.

Bodei, Chiara and Gao, Han and Degano, Pierpaolo (2008) A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and Preventing Type flaws: a Control Flow Analysis with tags. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Wed Jul 3 12:31:28 2024 CEST.

UnipiEprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.