1 | =====================s4_query.py================== |
---|
2 | keystore is not set, using current directory... |
---|
3 | |
---|
4 | ===good============ SA.controls('sliceA') <-?- Frank |
---|
5 | YAP query succeed |
---|
6 | pSA.controls(S:pSA.standard) <- pSA.controls_(S).controls(S) |
---|
7 | pSA.standard <- 'sliceA' |
---|
8 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
9 | pSA.owner('sliceA') <- pDrd |
---|
10 | pDrd.controls('sliceA') <- pFrank |
---|
11 | |
---|
12 | next proof: |
---|
13 | pSA.controls(S:pSA.standard) <- pSA.owner(S).controls(S) |
---|
14 | pSA.standard <- 'sliceA' |
---|
15 | pSA.owner('sliceA') <- pDrd |
---|
16 | pDrd.controls('sliceA') <- pFrank |
---|
17 | |
---|
18 | next proof: |
---|
19 | no more.. |
---|
20 | |
---|
21 | |
---|
22 | ===good============ SA.delegate_controls_('sliceA') <-?- Cary |
---|
23 | YAP query succeed |
---|
24 | pSA.delegate_controls_('sliceA') <- pCary |
---|
25 | |
---|
26 | ===bad============ SA.controls_('sliceA') <-?- Cary |
---|
27 | YAP query failed |
---|
28 | A partial proof(type:what) |
---|
29 | pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S) |
---|
30 | pSA.standard <- 'sliceA' |
---|
31 | pSA.delegate_controls_('sliceA') <- pCary |
---|
32 | |
---|
33 | ===good============ SA.controls('sliceA') <-?- Drd |
---|
34 | YAP query succeed |
---|
35 | pSA.controls(S:pSA.standard) <- pSA.controls_(S) |
---|
36 | pSA.standard <- 'sliceA' |
---|
37 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
38 | pSA.owner('sliceA') <- pDrd |
---|
39 | |
---|
40 | next proof: |
---|
41 | pSA.controls(S:pSA.standard) <- pSA.owner(S) |
---|
42 | pSA.standard <- 'sliceA' |
---|
43 | pSA.owner('sliceA') <- pDrd |
---|
44 | |
---|
45 | next proof: |
---|
46 | no more.. |
---|
47 | |
---|
48 | |
---|
49 | ===good============ SA.controls('sliceA') <-?- Cary |
---|
50 | YAP query succeed |
---|
51 | pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S) |
---|
52 | pSA.standard <- 'sliceA' |
---|
53 | pSA.delegate_controls_('sliceA') <- pCary |
---|
54 | |
---|
55 | ===good============ SA.delegate_controls_('sliceA') <-?- Jim |
---|
56 | YAP query succeed |
---|
57 | pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S) |
---|
58 | pSA.standard <- 'sliceA' |
---|
59 | pSA.owner('sliceA') <- pDrd |
---|
60 | pDrd.delegate_controls_('sliceA') <- pJim |
---|
61 | |
---|
62 | ===bad============ SA.controls_('sliceA') <-?- Jim |
---|
63 | YAP query failed |
---|
64 | A partial proof(type:what) |
---|
65 | pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S) |
---|
66 | pSA.standard <- 'sliceA' |
---|
67 | pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S) |
---|
68 | pSA.owner('sliceA') <- pDrd |
---|
69 | pDrd.delegate_controls_('sliceA') <- pJim |
---|
70 | |
---|
71 | ===bad============ SA.delegate_controls_('sliceA') <-?- Nancy |
---|
72 | YAP query failed |
---|
73 | A partial proof(type:what) |
---|
74 | pSA.controls_(S:pSA.standard) <- pSA.delegate_controls_(S).controls_(S) |
---|
75 | pSA.standard <- 'sliceA' |
---|
76 | pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S) |
---|
77 | pSA.owner('sliceA') <- pDrd |
---|
78 | pDrd.delegate_controls_('sliceA') <- pJim |
---|
79 | pJim.controls_('sliceA') <- pNancy |
---|
80 | |
---|
81 | |
---|
82 | |
---|
83 | =====================s4_run_query================== |
---|
84 | |
---|
85 | ===bad============ SA.controls_(sliceA)<-?-Frank |
---|
86 | YAP query failed |
---|
87 | prover failed!! |
---|
88 | |
---|
89 | ===good============ SA.controls(sliceA)<-?-Frank |
---|
90 | YAP query succeed |
---|
91 | prover success!! |
---|
92 | credentials needed : |
---|
93 | pSA.controls(S:pSA.standard) <- pSA.controls_(S).controls(S) |
---|
94 | pSA.standard <- 'sliceA' |
---|
95 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
96 | pSA.owner('sliceA') <- pDrd |
---|
97 | pDrd.controls('sliceA') <- pFrank |
---|
98 | |
---|
99 | ===good============ SA.controls_(sliceA)<-?-Dan |
---|
100 | YAP query succeed |
---|
101 | prover success!! |
---|
102 | credentials needed : |
---|
103 | pSA.controls_(S:pSA.standard) <- pSA.owner(S).controls_(S) |
---|
104 | pSA.standard <- 'sliceA' |
---|
105 | pSA.owner('sliceA') <- pDrd |
---|
106 | pDrd.controls_('sliceA') <- pDan |
---|
107 | |
---|
108 | ===good============ SA.controls(sliceA)<-?-Dan |
---|
109 | YAP query succeed |
---|
110 | prover success!! |
---|
111 | credentials needed : |
---|
112 | pSA.controls(S:pSA.standard) <- pSA.controls_(S) |
---|
113 | pSA.standard <- 'sliceA' |
---|
114 | pSA.controls_(S:pSA.standard) <- pSA.owner(S).controls_(S) |
---|
115 | pSA.owner('sliceA') <- pDrd |
---|
116 | pDrd.controls_('sliceA') <- pDan |
---|
117 | |
---|
118 | ===good============ SA.controls_(sliceB)<-?-Dan |
---|
119 | YAP query succeed |
---|
120 | prover success!! |
---|
121 | credentials needed : |
---|
122 | pSA.controls_('sliceB') <- pDan |
---|
123 | |
---|
124 | ===good============ SA.controls(sliceB)<-?-Dan |
---|
125 | YAP query succeed |
---|
126 | prover success!! |
---|
127 | credentials needed : |
---|
128 | pSA.controls(S:pSA.standard) <- pSA.controls_(S) |
---|
129 | pSA.standard <- 'sliceB' |
---|
130 | pSA.controls_('sliceB') <- pDan |
---|
131 | |
---|
132 | ===bad============ SA.controls_(sliceA)<-?-Jim |
---|
133 | YAP query failed |
---|
134 | prover failed!! |
---|
135 | |
---|
136 | ===good============ SA.controls(sliceA)<-?-Jim |
---|
137 | YAP query succeed |
---|
138 | prover success!! |
---|
139 | credentials needed : |
---|
140 | pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S) |
---|
141 | pSA.standard <- 'sliceA' |
---|
142 | pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S) |
---|
143 | pSA.owner('sliceA') <- pDrd |
---|
144 | pDrd.delegate_controls_('sliceA') <- pJim |
---|
145 | |
---|
146 | ===good============ SA.controls_(sliceA)<-?-Nancy |
---|
147 | YAP query succeed |
---|
148 | prover success!! |
---|
149 | credentials needed : |
---|
150 | pSA.controls_(S:pSA.standard) <- pSA.delegate_controls_(S).controls_(S) |
---|
151 | pSA.standard <- 'sliceA' |
---|
152 | pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S) |
---|
153 | pSA.owner('sliceA') <- pDrd |
---|
154 | pDrd.delegate_controls_('sliceA') <- pJim |
---|
155 | pJim.controls_('sliceA') <- pNancy |
---|
156 | |
---|
157 | ===good============ SA.controls(sliceA)<-?-Nancy |
---|
158 | YAP query succeed |
---|
159 | prover success!! |
---|
160 | credentials needed : |
---|
161 | pSA.controls(S:pSA.standard) <- pSA.controls_(S) |
---|
162 | pSA.standard <- 'sliceA' |
---|
163 | pSA.controls_(S:pSA.standard) <- pSA.delegate_controls_(S).controls_(S) |
---|
164 | pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S) |
---|
165 | pSA.owner('sliceA') <- pDrd |
---|
166 | pDrd.delegate_controls_('sliceA') <- pJim |
---|
167 | pJim.controls_('sliceA') <- pNancy |
---|
168 | |
---|
169 | ===bad============ SA.controls_(sliceA)<-?-Lisa |
---|
170 | YAP query failed |
---|
171 | prover failed!! |
---|
172 | |
---|
173 | ===good============ SA.controls(sliceA)<-?-Lisa |
---|
174 | YAP query succeed |
---|
175 | prover success!! |
---|
176 | credentials needed : |
---|
177 | pSA.controls('sliceA') <- pLisa |
---|
178 | |
---|
179 | ===bad============ SA.controls_(sliceA)<-?-Cary |
---|
180 | YAP query failed |
---|
181 | prover failed!! |
---|
182 | |
---|
183 | ===good============ SA.controls(sliceA)<-?-Cary |
---|
184 | YAP query succeed |
---|
185 | prover success!! |
---|
186 | credentials needed : |
---|
187 | pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S) |
---|
188 | pSA.standard <- 'sliceA' |
---|
189 | pSA.delegate_controls_('sliceA') <- pCary |
---|
190 | |
---|
191 | ===good============ SA.controls_(sliceA)<-?-Alice |
---|
192 | YAP query succeed |
---|
193 | prover success!! |
---|
194 | credentials needed : |
---|
195 | pSA.controls_('sliceA') <- pAlice |
---|
196 | |
---|
197 | ===good============ SA.controls(sliceA)<-?-Alice |
---|
198 | YAP query succeed |
---|
199 | prover success!! |
---|
200 | credentials needed : |
---|
201 | pSA.controls(S:pSA.standard) <- pSA.controls_(S) |
---|
202 | pSA.standard <- 'sliceA' |
---|
203 | pSA.controls_('sliceA') <- pAlice |
---|
204 | |
---|
205 | ===good============ SA.controls_(sliceA)<-?-Drd |
---|
206 | YAP query succeed |
---|
207 | prover success!! |
---|
208 | credentials needed : |
---|
209 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
210 | pSA.standard <- 'sliceA' |
---|
211 | pSA.owner('sliceA') <- pDrd |
---|
212 | |
---|
213 | ===good============ SA.controls(sliceA)<-?-Drd |
---|
214 | YAP query succeed |
---|
215 | prover success!! |
---|
216 | credentials needed : |
---|
217 | pSA.controls(S:pSA.standard) <- pSA.controls_(S) |
---|
218 | pSA.standard <- 'sliceA' |
---|
219 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
220 | pSA.owner('sliceA') <- pDrd |
---|
221 | |
---|
222 | |
---|
223 | |
---|