- Integrità dello stato:
 

Dividiamo i Place in due categorie

      Place Sicuri:

                    - Place di Partenza

                    - Place Certificati (da una terza parte)
 

      Place Insicuri:

                    - Tutti gli altri.
 
 
 

Ogni volta che ci dobbiamo spostare su un Place Insicuro, non ci andiamo direttamente, ma cloniamo il nostro agente e mandiamo il clone. Sul Place Insicuro non si fanno Modifiche ai Dati, ma si possono memorizzare dei nuovi dati in un "pacchetto", che verra' spedito ad un agente su un Place Sicuro.
Le aggiunte (ai dati) vere e proprie verranno fatte solo sul Place Sicuro.
 

Tutti i dati raccolti (su Place sicuri e non) sono aggiunti agli altri, e poi firmati.
 
 
 

Nota: dovendo lavorare su più Place Insicuri, si può parallelizzare (lancio di più cloni in parallelo verso diversi Place).
 
 
 
 
 
 
 
 

- Integrità del Codice
 

Gli agenti che si muovono tra Place sicuri lo fanno su canali crittati e dunque sicuri.

Gli Agenti che vanno su Place insicuri dopo il lavoro vengono eliminati.
 
 

                    Sicurezza della Comunicazione tra Agenti.
 
 

Comunicazione su Canale Sicuro, esclusivamente tra Agenti entrambi su Place Sicuri.
 
 

Nel momento in cui un Agente deve spostarsi su un Place, chiede all’Agente dei Servizi (Service Agent) la disponibilità delle risorse per sé (per l’agente che eventualmente dovrà andare sul Place).

In caso la memoria che gli verrebbe assegnata sia insufficiente, rinuncia a muoversi verso quel Place.

In base al compito che l’agente deve portare a termine, deciderà se accontentarsi delle altre risorse o evitare quel Place (in base anche alla politica del Principal).
 
 

Quando su un Place Sicuro si ha un Agente che aspetta il "ritorno" di dati da Cloni che ha mandato in altri Place (Insicuri), ed essendo il tempo a disposizione su quel Place quasi scaduto:
 

• Prima della fine del Time-Limit, si manda un Clone su un altro Place Sicuro.

• Sul Place di Partenza bisogna creare un Alias (di MailBox), che servira’ per ricevere il pacchetto dati di ritorno dal Place Insicuro.

L’Agente nel muoversi da un Place ad un altro è crittato, quindi non può essere intercettato.
 
 

Nel mandare un Clone ad un Place Insicuro, si può evitare di mandare lo stato.... (dipende dall’implementazione della primitiva di Clonazione)
 
 
 
 
 
 

                                         Vai al  lato Server   
 
 

 
                                            Torna all'indice