Propriétés logiques

• Le portefeuille est dans la poche d’Alice.

• Angéla est dans la maison et Bob est avec Alice.

• …

• Le PDA d’Alice n’est jamais ouvert à l’intérieur des bureaux de BadGuy®.

• Quelque soit ses voisins, Alice peut ouvrir son portefeuille.

• Personne ne peut observer que Alice et Bob sont ensemble.