source: examples/python_tests/experiment_multi_rt0/experiment.save @ dfe6b61

mei_rt2mei_rt2_fix_1
Last change on this file since dfe6b61 was abf8d5d, checked in by Mei <mei@…>, 12 years ago

1) add backtrack/multiple solutions proof code changes and new

examples.
  • Property mode set to 100644
File size: 707 bytes
Line 
1
2...final principal set...
3(pAcme,keyid,y)
4(pAlice,keyid,y)
5(pBob,keyid,y)
6(pDave,keyid,y)
7(pGlobotron,keyid,y)
8
9...final policy attribute set...
10pAcme.experiment_create <- pAcme.partner.experiment_create
11pAcme.partner <- pGlobotron
12pAlice.power_user <- pBob
13pDave.power_user <- pBob
14pGlobotron.admin <- pAlice
15pGlobotron.admin <- pDave
16pAcme.experiment_create <- pGlobotron.admin.power_user
17
18===good=============== Acme.experiment_create <- Bob
19YAP query succeed
20pAcme.experiment_create <- pGlobotron.admin.power_user
21pGlobotron.admin <- pAlice
22pAlice.power_user <- pBob
23
24next proof:
25pAcme.experiment_create <- pGlobotron.admin.power_user
26pGlobotron.admin <- pDave
27pDave.power_user <- pBob
28no more..
29
Note: See TracBrowser for help on using the repository browser.