mei_rt2mei_rt2_fix_1
Last change
on this file since 20eaefe was
f2d67a5,
checked in by Mei <mei@…>, 12 years ago
|
1) put back that yap info line in the saved example output
|
-
Property mode set to
100644
|
File size:
768 bytes
|
Line | |
---|
1 | % Restoring file /usr/local/lib/Yap/startup.yss |
---|
2 | |
---|
3 | ...final principal set... |
---|
4 | (pAcme,keyid,y) |
---|
5 | (pAlice,keyid,y) |
---|
6 | (pBob,keyid,y) |
---|
7 | (pDave,keyid,y) |
---|
8 | (pGlobotron,keyid,y) |
---|
9 | |
---|
10 | ...final policy attribute set... |
---|
11 | pAcme.experiment_create <- pAcme.partner.experiment_create |
---|
12 | pAcme.partner <- pGlobotron |
---|
13 | pAlice.power_user <- pBob |
---|
14 | pDave.power_user <- pBob |
---|
15 | pGlobotron.admin <- pAlice |
---|
16 | pGlobotron.admin <- pDave |
---|
17 | pAcme.experiment_create <- pGlobotron.admin.power_user |
---|
18 | |
---|
19 | ===good=============== Acme.experiment_create <- Bob |
---|
20 | YAP query succeed |
---|
21 | pAcme.experiment_create <- pGlobotron.admin.power_user |
---|
22 | pGlobotron.admin <- pAlice |
---|
23 | pAlice.power_user <- pBob |
---|
24 | |
---|
25 | next proof: |
---|
26 | pAcme.experiment_create <- pGlobotron.admin.power_user |
---|
27 | pGlobotron.admin <- pDave |
---|
28 | pDave.power_user <- pBob |
---|
29 | |
---|
30 | next proof: |
---|
31 | no more.. |
---|
32 | |
---|
Note: See
TracBrowser
for help on using the repository browser.