Home ETD
banca dati delle tesi e dissertazioni accademiche elettroniche
Università di Pisa
Sistema bibliotecario di ateneo
Tesi etd-06282004-120407
Condividi questa tesi: 
 
 

Tipo di tesi Tesi di laurea vecchio ordinamento
Autore Agostini, Manola
Indirizzo email manolaagostini@hotmail.com
URN etd-06282004-120407
Titolo Uno strumento basato sulle reti di Petri per determinare le dipendenze di programmi concorrenti
Struttura INGEGNERIA, FACOLTA'
Corso di studi INGEGNERIA INFORMATICA
Commissione
Nome Commissario Qualifica
Cinzia Bernardeschi relatore
Nicoletta De Francesco relatore
Parole chiave
  • occurrence nets
  • dipendenze di comunicazione
Data inizio appello 2004-07-22
Disponibilità unrestricted
Riassunto analitico
Con la diffusione del cosiddetto codice mobile, ossia di codice creato ed eseguito da persone diverse su macchine diverse, si sviluppa sempre di più l’esigenza di verificare la correttezza e la sicurezza del codice. Con ciò ci riferiamo alla necessità che un programma debba essere “corretto”, ossia tale da eseguire esattamente ciò per cui è stato realizzato, e “sicuro”, ossia in grado di impedire ad utenti esterni e non autorizzati l’accesso a informazioni considerate riservate.
Il problema della sicurezza è trattato nell’ambito del cosiddetto secure information flow, che si occupa di analizzare il flusso delle informazioni all’interno di un programma, in modo da verificare se c’è fuga di dati personali verso l’esterno.
Questa tesi si occupa del problema del secure information flow nell’ambito di programmi concorrenti, ed affronta, in tale ambito, il problema della determinazione delle dipendenze fra le istruzioni del programma. In particolare, nella tesi è stato progettato e sviluppato uno strumento per la determinazione delle dipendenze indotte dalla comunicazione fra programmi concorrenti. Lo strumento è basato sulle reti di Petri e le dipendenze sono ricavate dalle "occurrence nets" della rete, che permettono la rappresentazione del comportamento del programma concorrente.

File
  Nome file       Dimensione       Tempo di download stimato (Ore:Minuti:Secondi) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)    piu' di 128 Kb  
  bibliografia.pdf 4.76 Kb 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01
  capitolo1.pdf 18.76 Kb 00:00:05 00:00:02 00:00:02 00:00:01 < 00:00:01
  capitolo2.pdf 43.83 Kb 00:00:12 00:00:06 00:00:05 00:00:02 < 00:00:01
  capitolo3.pdf 63.72 Kb 00:00:17 00:00:09 00:00:07 00:00:03 < 00:00:01
  capitolo4.pdf 194.88 Kb 00:00:54 00:00:27 00:00:24 00:00:12 00:00:01
  capitolo5.pdf 6.32 Kb 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01
  frontespizio.pdf 2.61 Kb < 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01
  indice.pdf 5.47 Kb 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01
  introduzione.pdf 7.43 Kb 00:00:02 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01
  sommario.pdf 4.02 Kb 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01 < 00:00:01
  tesi.pdf 337.60 Kb 00:01:33 00:00:48 00:00:42 00:00:21 00:00:01
Contatta l'autore