First of all, we need to have a strong understanding of how a program allocates memory during its execution. See Memoria , Memoria virtuale and other notes about Nomi e Scope , Gestione della memoria . The thing you have to remember is that Every new function call allocates a…
Some notes # Mix-based systems # Created in 1981 by David Chaum. Very similar to the previous one, in practice, in the end, it acts as a proxy but not only does it take and receive, but it also mixes together the packets it has received from the sources, applying its key.…
In this note we will talk about some common ways to attack wireless based devices. Attacking an automated door # Usually these doors are opened by radio frequency keys, and can be opened easily (e.g. replay attacks, Jam the frequency) Jamming # This is the easiest way to attack.…
First time we talked about this was in Sicurezza delle reti#Protocollo SSL But that was a simple toy model. Secure Socket Layer # Secure socket Layer and TLS add security (see security principles in Notions of Security ) on the transport layers, whereas IPSec protocol adds it to…
Possiamo classificare tre aree generali quando si parla di sicurezza informatica: Hardware Software human-ware. Non tratteremo in particolare esattamente come ogni campo viene declinato, però possiamo Una altra tendenza generale è che più è complessa più è insicura . e questo…
Questo è un protocollo di sicurezza a livello Rete e non più a livello socket! Perché vorremmo avere sicurezza a questo livello? È una cosa troppo comune da dover mettere a livello superiore (ma solitamente viene messa a questo livello per la sicurezza, quindi non è implementata…
Cook Levin theorem is important because says that in 1971 if S A T ∈ P then N P = P . We will start with this idea to define the concept of NP-completeness . Let's start with the basics. Poly-reduction # Def: poly-reduction # We say that two languages L and L ′ defines over…
Introduzione # Note filosofiche (non impo) # Bisogna in primo momento cercare di definire cosa è la computazione e cosa è un computer. Aristotele faceva la distinzione fra proprietà essenziali e accidentali . Quelle essenziali sono proprie dell'oggetto. Una sedia può essere…
Sono variazioni possibili equivalenti: • Nastri addizionali • Testine addizionali • Nastri infiniti su entrambi i lati • Non-determinismo • Scelta probabilistica • Scelta quantistica Si può dire che la definizione di TM è stata robusta nella storia perché tantissimi formalismi…
Halting theorem # Questo è un problema fondamentale, che abbiamo trattato anche in Fondamenti teorica#Halting problem , ma qui lo ritrattiamo, perché così lo rifacciamo per bene. In parte è stato trattato anche al corso di Logica. Enunciato Halting theorem # Questo è molto…