Proba modelowania wyciekow informacji z kanalu bocznego przy uzyciu abstrakcyjnych
modeli obliczen i wycieku pamieci. Modele takie obejmuja.
Bounded Retrieval Model, Continual Memory Leakage, Auxiliary
Memory Leakage oraz Only Computation Leaks, miedzy innymi.
Budowanie bezpiecznych schematow w ramach tych modeli okazalo sie
interesujacym cwiczeniem, ale o watpliwym znaczeniu praktycznym, poniewaz
modele te w duzej mierze nie oddaja zlozonej rzeczywistosci kanalow bocznych
i atakow fizycznych.