@techreport{ndmTR, author = "M. Zubair Rafique and Christophe Huygens and Juan Caballero", address = "Madrid, Spain", institution = "IMDEA Software Institute", month = "March", note = "PARTNERS: IMDEA, KUL PROJECTS: European Union through Grant FP7-ICT No. 256980 (NESSoS), Spanish Government through Grant TIN2012-39391-C04-01 and Juan de la Cierva Fellowship. CITE(03/03/2014):0 urlhttps://software.imdea.org/~juanca/papers/TR-IMDEA-SW-2014-001.pdf", number = "TR-IMDEA-S", title = "{N}etwork {D}ialog {M}inimization and {N}etwork {D}ialog {D}iffing: {T}wo {N}ovel {P}rimitives for {N}etwork {S}ecurity {A}pplications", year = "2014", }