Recupero sicuro e affidabile del checkpointing nel mobile computing

La tolleranza ai guasti e le vulnerabilità della sicurezza sono correlate tra loro nei sistemi informatici mobili in rapida crescita. Gli algoritmi di Checkpoint-Recovery per fornire tolleranza ai guasti sono stati progettati per affrontare la mobilità, l'handoff, le limitazioni delle risorse e le vulnerabilità della sicurezza delle reti mobili cellulari e mobili ad hoc (MANET). Sono stati proposti algoritmi di checkpointing che utilizzano la crittografia per contrastare gli attacchi attivi e passivi nella rete cellulare mobile. Per ridurre i costi generali di crittografia e decrittografia nelle MANET, senza il supporto di un'infrastruttura fissa, è stato proposto il ripristino dei checkpoint basato sulla fiducia, per garantire che solo i nodi fidati possano partecipare al processo. Sono stati proposti due modelli di fiducia, in uno dei quali l'affidabilità dei nodi viene valutata in base alle raccomandazioni di altri nodi, al tasso di guasto, alla disponibilità o al tempo di vita di un nodo nella rete, alla carica residua della batteria, mentre l'altro è un modello di fiducia basato sull'Ant Colony Optimization per garantire che i checkpoint passino attraverso i nodi mobili fidati solo al momento del recupero. Gli algoritmi sono supportati da teoremi, lemmi, prove e simulazioni, ove possibile.