1 | YAP 6.3.4 (i686-linux): Thu Mar 7 13:05:19 PST 2013 |
---|
2 | |
---|
3 | ...ctxtA principals |
---|
4 | (pAlpha,keyid,y) |
---|
5 | (pBob,keyid,n) |
---|
6 | (pJoe,keyid,n) |
---|
7 | |
---|
8 | ...ctxtA attributes |
---|
9 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
10 | pAlpha.documents('proj2') <- 'file//fileB' |
---|
11 | pAlpha.documents('proj2') <- 'file//fileC' |
---|
12 | pAlpha.documents('proj1') <- 'file//fileC' |
---|
13 | pAlpha.team('proj1') <- pBob |
---|
14 | pAlpha.team('proj2') <- pJoe |
---|
15 | pAlpha.documents('proj1') <- 'file//fileA' |
---|
16 | |
---|
17 | ...ctxtB principals |
---|
18 | (pAlpha,keyid,y) |
---|
19 | (pBob,keyid,n) |
---|
20 | (pJoe,keyid,n) |
---|
21 | |
---|
22 | ...ctxtB attributes |
---|
23 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
24 | pAlpha.documents('proj2') <- 'file//fileB' |
---|
25 | pAlpha.documents('proj2') <- 'file//fileC' |
---|
26 | pAlpha.documents('proj1') <- 'file//fileC' |
---|
27 | pAlpha.team('proj1') <- pBob |
---|
28 | pAlpha.team('proj2') <- pJoe |
---|
29 | |
---|
30 | ...ctxtC principals |
---|
31 | (pAlpha,keyid,y) |
---|
32 | (pBob,keyid,n) |
---|
33 | (pJoe,keyid,n) |
---|
34 | |
---|
35 | ...ctxtC attributes |
---|
36 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
37 | pAlpha.documents('proj1') <- 'file//fileA' |
---|
38 | pAlpha.documents('proj2') <- 'file//fileB' |
---|
39 | pAlpha.documents('proj1') <- 'file//fileC' |
---|
40 | pAlpha.team('proj1') <- pBob |
---|
41 | pAlpha.team('proj2') <- pJoe |
---|
42 | |
---|
43 | |
---|
44 | ===good============ ctxtA,Alpha.access(Read,fileA)<-?-Bob |
---|
45 | YAP query succeed |
---|
46 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
47 | pAlpha.documents('proj1') <- 'file//fileA' |
---|
48 | pAlpha.team('proj1') <- pBob |
---|
49 | |
---|
50 | |
---|
51 | ===bad============ ctxtB,Alpha.access(Read,fileA)<-?-Bob |
---|
52 | YAP query failed |
---|
53 | |
---|
54 | |
---|
55 | ===good============ ctxtC,Alpha.access(Read,fileA)<-?-Bob |
---|
56 | YAP query succeed |
---|
57 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
58 | pAlpha.documents('proj1') <- 'file//fileA' |
---|
59 | pAlpha.team('proj1') <- pBob |
---|
60 | |
---|
61 | |
---|
62 | ===bad============ ctxtA,Alpha.access(Read,fileA)<-?-Joe |
---|
63 | YAP query failed |
---|
64 | |
---|
65 | |
---|
66 | ===bad============ ctxtB,Alpha.access(Read,fileA)<-?-Joe |
---|
67 | YAP query failed |
---|
68 | |
---|
69 | |
---|
70 | ===bad============ ctxtC,Alpha.access(Read,fileA)<-?-Joe |
---|
71 | YAP query failed |
---|
72 | |
---|
73 | |
---|
74 | ===good============ ctxtA,Alpha.access(Read,fileC)<-?-Joe |
---|
75 | YAP query succeed |
---|
76 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
77 | pAlpha.documents('proj2') <- 'file//fileC' |
---|
78 | pAlpha.team('proj2') <- pJoe |
---|
79 | |
---|
80 | |
---|
81 | ===good============ ctxtB,Alpha.access(Read,fileC)<-?-Joe |
---|
82 | YAP query succeed |
---|
83 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
84 | pAlpha.documents('proj2') <- 'file//fileC' |
---|
85 | pAlpha.team('proj2') <- pJoe |
---|
86 | |
---|
87 | |
---|
88 | ===bad============ ctxtC,Alpha.access(Read,fileC)<-?-Joe |
---|
89 | YAP query failed |
---|