Analyzing Protocol Implementations

Hagalisletto, Anders Moen; Strand, Lars; Leister, Wolfgang; Groven, Arne-Kristian

April 02, 2009

DART

• Published date: April 02, 2009
• Publisher: Springer Heidelberg, Berlin
• Refereed: 1
• Conference: ISPEC 2009
• Page(s): 171-182
• Journal:
• Name and number of project: EUX2010SEC
• Volume/number: LNCS 5451
• Title: Analyzing Protocol Implementations
• Author(s): Hagalisletto, Anders Moen; Strand, Lars; Leister, Wolfgang; Groven, Arne-Kristian
• ISBN: 978-3-642-00842-9
• Book title: Information Security Practice and Experience
• Editor: Bao, F.; Li, H.; Wang, G.