==== Use cases ==== 
  - un client apre un file in scrittura sul file system sicuro e vi copia il contenuto di un file locale. Successivamente un altro client apre lo stesso file in lettura e lo copia sul file system locale. Il nuovo file ha lo stesso contenuto del file originale
  - un client accetta comandi come parametri della riga di comando e interagisce con un oggetto Manager per implementare i vari comandi compresi nell'interfaccia <code>SecureFileSystemManagementInterface</code> Posso dunque chiedere l'esecuzione di <code>java ClienteManager fileNumber</code> ed ottere a video il numero dei file presenti nel file system remoto, oppure <code>java ClienteManager fileWriters pippo</code> ed ottenere a video il numero di clienti con un handle aperta in scrittura sul file pippo. 
  - su un sistema con 4 processi Disco, 1 file "pippo", K=3, si termina uno dei processi disco. Se era uno di quelli che contenevano una delle copie del file pippo, la richiesta di apertura in lettura del file pippo provoca la riallocazione di una sua copia sul quarto server
  - su un sistema con 3 processi Disco, 1 file "pippo", K=3, interveniamo manualmente su uno dei server per troncare il file pippo alla lunghezza di pochi caratteri. Per esempio, se la directory di memorizzazione fosse "FileSystemSicuro" su uno degli host che ospitano i processi disco diamo i comandi  <code>
cd /tmp/FileSystemSicuro
cat > pippo
File troncato
^D </code> Aprendo il file pippo in lettura, alla prima richiesta di lettura deve avvenire un processo di restore che fa' sì che la copia modificata del file pippo ritorni quella originale, ripristinata da uno degli altri server disco. 
  - su un systema con 3 processi Disco e 2 processi FileSystem, un cliente apre in scrittura un file "pippo" utilizzando il primo server FileSystem. Un secondo cliente apre in lettura lo stesso file "pippo" utilizzando il secondo server FileSystem ed ottiene un'eccezione. 
  - esmpio di codice per programmi client: [[codiceScrittore|codice per la copia di un file locale nel file system sicuro]], [[codiceLettore|codice per la lettura nel file system locale di un file nel file system remoto]]