Statically Detecting Message Confusions in a Multi-Protocol Setting / Bodei, C; Brodo, Linda; Degano, P; Gao, H.. - (2008). (Intervento presentato al convegno International Workshop on Issues in the Theory of Security (WITS'08) tenutosi a PITTSBURGH, PA, USA).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.