Intellingenza Smartcard

L'Europa ha un ruolo leader nello sviluppo delle smartcard, che stanno diventando sempre più comuni. A questo proposito, vi è una forte preoccupazione per la sicurezza delle applicazioni delle smartcard, sia da parte dei fornitori che degli utenti. Dunque l'analisi dei rischi relativa alla gestione degli errori ed alla riservatezza è vitale.

Economia digitale

Probabilmente, senza le misure di sicurezza garantite da una certificazione affidabile, vi sarebbe una diminuzione nella fiducia e nello sviluppo delle operazioni di sicurezza dei software. Nel passato le applicazioni smartcard non erano accessibili principalmente perché erano troppo complesse o riservate. L'obiettivo a lungo termine dell'applicazione DeMoney è pertanto quello di aiutare le autorità di certificazione a certificare automaticamente i software ai più alti livelli di sicurezza possibili. DeMoney è un borsellino elettronico per le smartcard e rappresenta una funzione tipica nelle applicazioni di banking. Sebbene a livello veramente di base, implica codici di certificazione e messaggeria sicura basati su chiavi segrete e richieste di chiarificazione. La logica di flusso di questa applicazione offre un versatile linguaggio di specificazione per formalizzare le proprietà della sicurezza. È anche in grado di offrire funzioni aggiuntive come il programma di fedeltà, che è la capacità di attribuire automaticamente i punti quando si fa un acquisto in negozio. Questo nuovo approccio quantitativo all'analisi della sicurezza ha sostituito la nozione classica di sicurezza permettendo di misurare la vulnerabilità di un sistema per poterlo rafforzare. Buone notizie dunque per il futuro della sicurezza dei software. Contribuirà infatti alla prevenzione delle operazioni fraudolente e nocive e susciterà fiducia sia tra gli utenti che nei fornitori.