Est-il possible de rendre un ordinateur in piratable ?
Théoriquement, oui, pour une définition étroite du terme « piratable ». Il existe une branche de la sécurité informatique appelée vérification formelle. Dans la vérification formelle, vous définissez certaines propriétés de sécurité, comme « les sites Web ne peuvent pas lire les données privées d’autres sites Web dans différents onglets », puis vous prouvez mathématiquement qu’un programme ne peut … Lire la suite