1. Formalizing Peer-to-Peer Systemsbased on Content Addressable Network Adrian Iftene, Gabriel Ciobanu "Al. I. Cuza" University, Faculty of Computer Science…