---

LISTA DEI REQUISITI PER CICOBOT

---

Struttura del sistema

La chiave ha codice segreto, codice personale e numero cce, limiti prelievo.
Il cce ha intestatario, numero cce, saldo, scoperto, indicazione blocco.
L'estratto conto ha registrazione, nome autorizzante e numero cce creditore.
La BoiaChe Card ha codice carta e codice segreto.
L'utente ha codice personale.
L'utente e' dotato di BoiaChe Card.
L'utente e' associato ad un cce.
I dati carta hanno codice segreto e codice carta.
Il cce e' associato ad un estratto conto e a una chiave.

Attivatore periferico

Quando l'attivatore periferico ottiene dati carta dalla BoiaChe Card, l'attivatore periferico legge codice segreto e codice carta.
L'attivatore periferico acquisisce codice personale di utente dall'utente.
Se pagamento allora l'attivatore periferico acquisisce creditore dall'utente.
Se pagamento allora l'attivatore periferico acquisisce i dati transazione dall'utente.
Se pagamento allora l'attivatore periferico definisce dati pagamento usando codice personale di utente, dati transazione, codice segreto di dati carta, codice carta di dati carta e creditore.
Se richiesta estratto conto allora l'attivatore periferico definisce dati estratto conto usando codice personale di utente, codice segreto di dati carta e codice carta di dati carta.
Se pagamento l'attivatore periferico elabora dati pagamento criptati usando dati pagamento.
Se richiesta estratto conto allora l'attivatore periferico elabora dati estratto conto criptati usando dati estratto conto.
Quando l'attivatore periferico riceve esito controllo dal nucleo centrale, l'attivatore periferico visualizza l'esito controllo all'utente.
Quando l'attivatore periferico riceve controllo negativo dal nucleo centrale, l'attivatore periferico visualizza controllo negativo all'utente.
Quando l'attivatore periferico riceve documento estratto conto dal nucleo centrale, l'attivatore periferico visualizza documento estratto conto all'utente.

Nucleo centrale

Quando il nucleo centrale riceve i dati pagamento criptati dall'attivatore periferico, il nucleo centrale ricava la transazione pagamento usando i dati pagamento criptati.
Se pagamento allora il nucleo centrale ricava il numero cce di chiave usando la transazione pagamento e la chiave.
Se pagamento allora il nucleo centrale elabora l'esito controllo usando la transazione pagamento, la chiave e il cce.
Se pagamento e esito positivo il nucleo centrale elabora i livelli anonimato usando la transazione pagamento, il numero cce di chiave e l'intestatario di cce.
Se pagamento e esito positivo il nucleo centrale modifica l'estratto conto usando la transazione pagamento e i livelli anonimato.
Se pagamento e esito positivo il nucleo centrale modifica il cce usando la transazione pagamento, il numero cce di chiave e il saldo di cce.
Quando il nucleo centrale riceve i dati estratto conto criptati dall'attivatore periferico, il nucleo centrale ricava la transazione estratto conto usando i dati estratto conto criptati.
Se richiesta estratto conto allora il nucleo centrale elabora il controllo corrispondenza codici usando la transazione estratto conto e la chiave.
Se richiesta estratto conto e controllo positivo, allora il nucleo centrale ricava documento estratto conto usando transazione estratto conto e estratto conto.
Se richiesta estratto conto e controllo positivo allora il nucleo centrale invia documento estratto conto all'attivatore periferico.