Statically Detecting Message Confusions in a Multi-Protocol Setting / Bodei, C; Brodo, Linda; Degano, P; Gao, H.. - (2008). ( International Workshop on Issues in the Theory of Security (WITS'08) 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.


