source: examples/access_tests/creddy_prover/s5_result.save @ 2e9455f

mei_rt2
Last change on this file since 2e9455f was 2e9455f, checked in by Mei <mei@…>, 11 years ago

1) added namespace
2) tweak ?This,
3) allowing linking role/oset as constraining conditions
4) adding access_tests regression testing that uses GENI's access policy
5) added couple multi contexts regression tests
6) add compression/uncompression calls to abac_encode_string/abac_decode_string
(libstrongwan only allows 512 char for attribute rule storage)
7) add attribute_now option to creddy that takes a whole char string for attribute
rule
  • Property mode set to 100644
File size: 8.9 KB
Line 
1=====================s5_query.py==================
2keystore is not set, using current directory...
3
4===good============ SA.controlsQ('sliceA','info') <-?- lisa
5YAP query succeed
6pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv)
7pSA.standard <- 'sliceA'
8pPA.std_ops <- 'info'
9pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S)
10pSA.controls_(S:pSA.standard) <- pSA.owner(S)
11pSA.owner('sliceA') <- pDrd
12pDrd.controlsQ('sliceA','info') <- pLisa
13
14next proof:
15pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ(S,Priv)
16pSA.standard <- 'sliceA'
17pPA.std_ops <- 'info'
18pSA.owner('sliceA') <- pDrd
19pDrd.controlsQ('sliceA','info') <- pLisa
20
21next proof:
22no more..
23
24
25===good============ SA.controlsQ_('sliceB','info') <-?- lisa
26YAP query succeed
27pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controls_(S)
28pSA.standard <- 'sliceB'
29pPA.std_ops <- 'info'
30pSA.delegate_controls_('sliceB') <- pLisa
31
32===good============ SA.controlsQ_('sliceB','info') <-?- James
33YAP query succeed
34pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv).controlsQ_(S,Priv)
35pSA.standard <- 'sliceB'
36pPA.std_ops <- 'info'
37pSA.delegate_controlsQ_('sliceB','info') <- pJohn
38pJohn.controlsQ_('sliceB','info') <- pJames
39
40===good============ SA.controlsQ('sliceB','info') <-?- Dan
41YAP query succeed
42pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls(S)
43pSA.standard <- 'sliceB'
44pPA.std_ops <- 'info'
45pSA.controls('sliceB') <- pDan
46
47===good============ SA.controlsQ('sliceA','info') <-?- John
48YAP query succeed
49pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv)
50pSA.standard <- 'sliceA'
51pPA.std_ops <- 'info'
52pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
53pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv)
54pSA.owner('sliceA') <- pDrd
55pDrd.delegate_controlsQ_('sliceA','info') <- pJohn
56
57===bad============ SA.controlsQ('sliceB','instantiate') <-?- John
58YAP query failed
59A partial proof(type:what)
60pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
61pSA.standard <- 'sliceA'
62pPA.std_ops <- 'info'
63pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv)
64pSA.owner('sliceA') <- pDrd
65pDrd.delegate_controlsQ_('sliceA','info') <- pJohn
66
67===bad============ SA.controlsQ('sliceB','instantiate') <-?- Tim
68YAP query failed
69A partial proof(type:what)
70pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
71pSA.standard <- 'sliceA'
72pPA.std_ops <- 'instantiate'
73pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv)
74pSA.owner('sliceA') <- pDrd
75pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim
76
77===bad============ SA.controlsQ('sliceB','info') <-?- Tim
78YAP query failed
79A partial proof(type:what)
80pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
81pSA.standard <- 'sliceA'
82pPA.std_ops <- 'instantiate'
83pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv)
84pSA.owner('sliceA') <- pDrd
85pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim
86
87===good============ SA.controlsQ('sliceB','info') <-?- Joe
88YAP query succeed
89pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv)
90pSA.standard <- 'sliceB'
91pPA.std_ops <- 'info'
92pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv)
93pSA.delegate_controlsQ_('sliceB','info') <- pJohn
94
95
96
97=====================s5_run_query==================
98 
99===bad============ PA.controlsQ_(sliceA,'info')<-?-Dan
100YAP query failed
101prover failed!!
102 
103===good============ PA.controlsQ(sliceA,'info')<-?-Dan
104YAP query succeed
105prover success!!
106credentials needed :
107 pSA.controlsQ('sliceA','info')  <- pDan
108 
109===bad============ PA.controlsQ_(sliceA,'stop')<-?-Dan
110YAP query failed
111prover failed!!
112 
113===good============ PA.controlsQ(sliceA,'stop')<-?-Dan
114YAP query succeed
115prover success!!
116credentials needed :
117 pSA.controlsQ('sliceA','stop')  <- pDan
118 
119===good============ PA.controlsQ_(sliceA,'info')<-?-Frank
120YAP query succeed
121prover success!!
122credentials needed :
123 pSA.controlsQ_('sliceA','info')  <- pFrank
124 
125===good============ PA.controlsQ(sliceA,'info')<-?-Frank
126YAP query succeed
127prover success!!
128credentials needed :
129 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv)
130 pSA.standard  <- 'sliceA'
131 pPA.std_ops  <- 'info'
132 pSA.controlsQ_('sliceA','info')  <- pFrank
133 
134===good============ PA.controlsQ_(sliceA,'stop')<-?-Frank
135YAP query succeed
136prover success!!
137credentials needed :
138 pSA.controlsQ_('sliceA','stop')  <- pFrank
139 
140===good============ PA.controlsQ(sliceA,'stop')<-?-Frank
141YAP query succeed
142prover success!!
143credentials needed :
144 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv)
145 pSA.standard  <- 'sliceA'
146 pPA.std_ops  <- 'stop'
147 pSA.controlsQ_('sliceA','stop')  <- pFrank
148 
149===bad============ PA.controlsQ_(sliceA,'info')<-?-James
150YAP query succeed
151prover success!!
152credentials needed :
153 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv)
154 pSA.standard  <- 'sliceA'
155 pPA.std_ops  <- 'info'
156 pSA.delegate_controlsQ_('sliceA','info')  <- pJames
157 
158===good============ PA.controlsQ(sliceA,'info')<-?-James
159YAP query succeed
160prover success!!
161credentials needed :
162 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv)
163 pSA.standard  <- 'sliceA'
164 pPA.std_ops  <- 'info'
165 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv)
166 pSA.delegate_controlsQ_('sliceA','info')  <- pJames
167 
168===bad============ PA.controlsQ_(sliceA,'stop')<-?-James
169YAP query failed
170prover failed!!
171 
172===good============ PA.controlsQ(sliceA,'stop')<-?-James
173YAP query succeed
174prover success!!
175credentials needed :
176 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv)
177 pSA.standard  <- 'sliceA'
178 pPA.std_ops  <- 'stop'
179 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controls_(S)
180 pSA.controls_(S:pSA.standard)  <- pSA.owner(S)
181 pSA.owner('sliceA')  <- pDrd
182 pDrd.controlsQ('sliceA','stop')  <- pJames
183 
184===bad============ PA.controlsQ_(sliceA,'info')<-?-Lisa
185YAP query failed
186prover failed!!
187 
188===good============ PA.controlsQ(sliceA,'info')<-?-Lisa
189YAP query succeed
190prover success!!
191credentials needed :
192 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv)
193 pSA.standard  <- 'sliceA'
194 pPA.std_ops  <- 'info'
195 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controls_(S)
196 pSA.controls_(S:pSA.standard)  <- pSA.owner(S)
197 pSA.owner('sliceA')  <- pDrd
198 pDrd.controlsQ('sliceA','info')  <- pLisa
199 
200===good============ PA.controlsQ_(sliceA,'stop')<-?-Lisa
201YAP query succeed
202prover success!!
203credentials needed :
204 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv)
205 pSA.standard  <- 'sliceA'
206 pPA.std_ops  <- 'stop'
207 pSA.delegate_controlsQ_('sliceA','stop')  <- pLisa
208 
209===good============ PA.controlsQ(sliceA,'stop')<-?-Lisa
210YAP query succeed
211prover success!!
212credentials needed :
213 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv)
214 pSA.standard  <- 'sliceA'
215 pPA.std_ops  <- 'stop'
216 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.delegate_controlsQ_(S,Priv)
217 pSA.delegate_controlsQ_('sliceA','stop')  <- pLisa
218 
219===good============ PA.controlsQ_(sliceA,'info')<-?-Tim
220YAP query succeed
221prover success!!
222credentials needed :
223 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv)
224 pSA.standard  <- 'sliceA'
225 pPA.std_ops  <- 'info'
226 pSA.owner('sliceA')  <- pDrd
227 pDrd.controlsQ_('sliceA','info')  <- pTim
228 
229===good============ PA.controlsQ(sliceA,'info')<-?-Tim
230YAP query succeed
231prover success!!
232credentials needed :
233 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv)
234 pSA.standard  <- 'sliceA'
235 pPA.std_ops  <- 'info'
236 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv)
237 pSA.owner('sliceA')  <- pDrd
238 pDrd.controlsQ_('sliceA','info')  <- pTim
239 
240===good============ PA.controlsQ_(sliceA,'stop')<-?-Tim
241YAP query succeed
242prover success!!
243credentials needed :
244 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv)
245 pSA.standard  <- 'sliceA'
246 pPA.std_ops  <- 'stop'
247 pSA.owner('sliceA')  <- pDrd
248 pDrd.controlsQ_('sliceA','stop')  <- pTim
249 
250===good============ PA.controlsQ(sliceA,'stop')<-?-Tim
251YAP query succeed
252prover success!!
253credentials needed :
254 pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.controlsQ_(S,Priv)
255 pSA.standard  <- 'sliceA'
256 pPA.std_ops  <- 'stop'
257 pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops)  <- pSA.owner(S).controlsQ_(S,Priv)
258 pSA.owner('sliceA')  <- pDrd
259 pDrd.controlsQ_('sliceA','stop')  <- pTim
260 
261===good============ John.controlsQ(sliceB,info)<-?-$ Joe
262YAP query succeed
263prover success!!
264credentials needed :
265 pJohn.controlsQ('sliceB','info')  <- pJoe
266
267
268
Note: See TracBrowser for help on using the repository browser.