Proofs Methods for Bisimulation based Information Flow Security
FOCARDI, Riccardo;ROSSI, Sabina
2002-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
main.ps
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Accesso chiuso-personale
Dimensione
306.44 kB
Formato
Postscript
|
306.44 kB | Postscript | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.