Il protocollo ARP non è progettato per ambienti ostili e manca di un meccaniscmo di autenticazione. Tale mancanza consente di effettare un’attacco chiamato ARP Poisoning, con il quale è possibile intercettare pacchetti destinati ad altri host.
Si immagini una reto con due host, uno in possesso dell’attaccante ed l’altro in possosesso della vittima, ed un nodo che funge da gateway. L’attaccante può inviare alla vittima una ARP reply fabbricata con l’associazione (IP.Gateway, Mac:Attaccante) ed un’altra al gateway con l’associazione (IP.Vittima, Mac:Attaccante). Dopo aver ricevuto tali pacchetti la vittima ed il gateway aggiorneranno le proprie cache con gli indirizzi forniti dall’attaccante che riceverà sia i pacchetti inviati che quelli ricevuti dalla vittima. Inoltre per non farsi scoprire potrà reinoltrare i pacchetti senza bloccare la comunicazzione.

Il tipo di attacco descritto è implementato nel software ettercap. Vediamo come intercettare il traffico tra l’host 192.168.1.10 e l’host 192.168.1.254 con questo programma:


# ettercap -T -M ARP /192.168.1.10/ /192.168.1.254/
ettercap NG-0.7.3 copyright 2001-2004 ALoR & NaGA
Listening on eth0... (Ethernet)
eth0 -> MALLORY:MAC:ADDR 192.168.1.100 255.255.255.0
...
Scanning for merged targets (2 hosts)...
* |==================================================>| 100.00 %
2 hosts added to the hosts list...
ARP poisoning victims:
GROUP 1 : 192.168.1.10 VICTIM:MAC:ADDR
GROUP 2 : 192.168.1.254 GATEWAY:MAC:ADDR
Starting Unified sniffing...


Con l’opzione -T si dice al programma di usare la console come interfaccia con l’utente e con -M si indica di reinoltrare i pacchetti intercettati.
Utilizzando Whireshark durante l’operazione di ARP poisoning possiamo osservare il seguente traffico ARP:


Source Destination Type Description
RealtekS Broadcast ARP Who has 192.168.1.10? Tell 192.168.1.100
RealtekS Broadcast ARP Who has 192.168.1.254? Tell 192.168.1.100
BillionE RealtekS ARP 192.168.1.254 is at GATEWAY:MAC:ADDR
Nokia_80 RealtekS ARP 192.168.1.10 is at VICTIM:MAC:ADDR
RealtekS Nokia_80 ARP 192.168.1.254 is at MALLORY:MAC:ADDR
RealtekS BillionE ARP 192.168.1.10 is at MALLORY:MAC:ADDR


Dal lemma di Cantor segue che l’insieme di tutte le funzioni dai numeri naturali a {0,1} non è contabile.

Consideriamo adesso l’insieme S di tutte le successioni finitamente non nulle di 0 ed 1. Tale insieme è contabile e possiamo mostrarlo consideranto s₀s₁s₂… una successione di 0 ed 1 e definendo una funzione che prende in input quella sccuessione:

dove N è un numero coì garande che s_n=0 per ogni n>=N. f è una corrspondenza biunivoca tra S e i numeri naturali. Per esserne sicuri basta osservare che per ogni j, s₀=0 solo se il più grande intero tra le somme di s_i2ⁱ diviso per 2^j è pari.

Ogni sottoinsieme infinito di un insieme contabile è a sua volta contabile. Infatti, sia sia X un sottoinsieme di N={0,1,2,3,…}. Definiamo una funzione f che va da N ad X nel seguente modo:

• f(0) = min(X)
• f(n+1) è il più piccolo elemento di X maggiore di f(n)

f è invertibile e rappresenta una corrispondenza biunivoca tra N ed X. La sua inversa è una corrispondenza tra X ed N che dimostra la contabilità di X.

Possiamo dire anche che l’insieme F di tutte le successioni finite di numeri naturali è contabile. Sia n* una successione di n+1 uno. Per ogni successione di numeri naturali n₀n₁n₂… sia:

f è quinid una corrispondenza tra F e l’insieme S visto in precedenza. Ciò mostra che F è contabile.

I sensori utilizzati sono i famosi SunSpot, prodotti dalla Sun Microsystem. La confezione inviata dalla sun contiene due sensori sun spot e una basestation. La basestation è un particolare tipo sunspot privato della SensorBoard attraverso la quale è possibile interfacciare un host, tramite collegamento usb, alla rete di sensori. Punto di forza di questi dispositi è il fatto di essere programmabili in linnguaggio Java.

L’ installazione è stata effettuata dal sito ufficiale dei SunSpot attraverso una java web start application la quale tenta di installare una jvm, ant, netbeans 6.1 con dei moduli aggiuntivi, SunSpot sdk e lo SPOT Manager. Sotto windows ci sono stati problemi sull’emulazione delle comunicazioni radio utilizzando versioni della jvm più recenti a quella suggerita dall’installer mentre sotto linux le cose sono sembrate più tranquille. Lo SPOT Manager fornisce un’interfaccia per la gestione degli SPOT collegati e l’esecuzione dell’emulatore. Quest’ultima è risultata particolarmente instabile ed ho preferito interagire con i vari Spot attraverso riga di comando.

L’ambiente di programmazione ad agenti è stato JADE (Java Agent DEvelopment Framework). Esso è un farmework completamente scritto in Java per l’implementazione di sistemi multiagente validi rispetto alle specifiche FIPA. JADE è software Open Source ed è stato prodotto da Telecom Italia Lab, branca di Telecom Italia Group responsabile all’innovazione tecnologica.

L’Integrazione tra le due piattaforme è avvenuta scrivendo un’applicazione per la basestation ed una per i sensori. Sulla basestation viene lanciata un’istanza di Jade e per ogni sensore a distanza di rilevamento viene inizializzato un agente nel framework, oltre ad una serie di agenti d’ausilio. Gli agenti software comunicano effettuano all’occorrenza delle richieste di rilevamento dati ai sensori che rispondono in modo opportuno attraverso l’applicazione scritta.

Ralph Merkle, uno dei pionieri della crittografia, negli anni 70 propose una tecnica basata su rompicapi(puzzle) facili da risolvere per il ricevente ma non per un eventuale ascoltatore malintenzionato (Eve). La soluzione di tali puzzle è data provando tutte le possibili chiavi di un messaggio fino a che si trova quella effettivamente corretta (attacco a forza bruta).

(1) Bob genera 2²⁰, circa un milione, di messaggi con scritto: “This is puzzle number x. This is the secret key number y“, dove x è un numero a caso ed y una chiave segreta casuale. Sia x che y sono differenti per ogni messaggio. Usando un algoritmo simmetrico Bob cifra ogni messaggio con una chiave di 20 bit e li manda ad Alice.
(2) Alice sceglie a caso uno dei messaggi ed esegue un attacco a forza bruta recuperandono il testo in chiaro.
(3) Alice cifra il suo messaggio segreto con la chiave scoperta e lo invia a Bob insieme ad x.
(4) Bob adesso, basandosi sull’indice x, conosce la chiave y con la quale Alice ha cifrato il messaggio. Può cosi’ decifrarlo.

Eve per decifrare la conversazione dovrà fare molto più lavoro di Alice o Bob. Per decifrare il messaggio inviato da Alice al passo 3 deve effettuare un attacco a forza bruta su tutti i 2²⁰ messaggi inviati in 1. Considerando che una chiave a 20 bit ha 2²⁰ possibili combinazioni, un attacco a forza bruta ha bisogno, al più, di 2²⁰ operazioni per trovare la chiave di un singolo messaggio, 2²⁰ * 2²⁰ = 2⁴⁰ per trovare le chiavi di tutti. Con un calcolatore che può effettuare 2²⁰ in un secondo Alice troverà la propria chiave in un secondo ma Eve, data la mole di messaggi da scandire, impiegherà circa 12 giorni.

• +, addizione
• -, sottrazione
• *, moltiplicazione
• /, divisione
• mod, resto della divisione

L’uso di tali operatori non è diretto. Infatti scrivendo

?- X = 1 + 2.

Prolog risponderà “X = 1 + 2″ e non “X = 3″ come qualcuno potrebe aspettarsi. Ciò avviene perchè la stringa “1 + 2″ in prolog coincide con un termine dove + è il funtore ed 1 e 2 i suoi argomenti. Per eseguire l’operazione aritmetica c’è bisogno di usare l’operatore speciale is come segue:
(more…)

AoI supporta il Ray tracing, il quale è una tecnica basata sulla simulazione del percorso fatto dalla luce. Grazie ad essa è possibile creare delle immagini fotorealistiche proprio come queste.
Dal sito ufficiale del software sono scaricabili gli installabili per i tre sistemi operativi principali Windows, Linux, Mac OS X ed un pacchetto contenente soltanto il jar per tutte le altre piattaforme su cui gira java.

                         Dato
                          /\
                         /  \
               OggettoBase  Termini Composti
                     /\
                    /  \
             Costanti  Variabili
                  /\
                 /  \
            Atomi  Numeri

I dati in prolog si dividono in termini composti e dati basilari, questi ultimi si dividono in varibili e costanti.
(more…)

Grazie a tali relazioni possiamo stabilire la regola mother partendo dalla seguente idea

Per ogni X ed Y.
X è madredi di Y se
X è parent di Y e
X è una donna.

Ricordiamo che una regola prolog è composta da un corpo ed una testa disposti nella forma

Testa :- Corpo

e si legge “Testa è vero solo se è vero il Corpo”. Quindi possiamo scrivere la relazione di sopra come

mother(X, Y) :-
    parent(X, Y),
    female(X).


Possiamo così definire la relazione sister tra X ed Y asserendo che X ed Y abbiano lo stesso padre Z, che X sia donna ed X e Y siano diversi tra loro:


sister(X, Y)
    parent(Z,X),
    parent(Z,Y),
    female(X),
    not X = Y.