source: examples/access_tests/creddy_prover/s3_result.save @ 7751094

mei_rt2
Last change on this file since 7751094 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: 7.5 KB
Line 
1=====================s3_query.py==================
2keystore is not set, using current directory...
3
4===good============ PA.memberQ_('proj2','info') <-?- James
5YAP query succeed
6pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv).memberQ_(P,Priv)
7pPA.standard <- 'proj2'
8pPA.std_ops <- 'info'
9pPA.delegate_memberQ_('proj2','info') <- pJohn
10pJohn.memberQ_('proj2','info') <- pJames
11
12next proof:
13no more..
14
15
16===good============ PA.memberQ('proj1','info') <-?- Lisa
17YAP query succeed
18pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv).memberQ(P,Priv)
19pPA.standard <- 'proj1'
20pPA.std_ops <- 'info'
21pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P)
22pPA.member_(P:pPA.standard) <- pPA.owner(P)
23pPA.owner('proj1') <- pDrd
24pDrd.memberQ('proj1','info') <- pLisa
25
26next proof:
27pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).memberQ(P,Priv)
28pPA.standard <- 'proj1'
29pPA.std_ops <- 'info'
30pPA.owner('proj1') <- pDrd
31pDrd.memberQ('proj1','info') <- pLisa
32
33next proof:
34no more..
35
36
37===good============ PA.memberQ('proj1','info') <-?- John
38YAP query succeed
39pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv)
40pPA.standard <- 'proj1'
41pPA.std_ops <- 'info'
42pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
43pPA.owner('proj1') <- pDrd
44pDrd.delegate_memberQ_('proj1','info') <- pJohn
45
46next proof:
47no more..
48
49
50===bad============ PA.memberQ('proj2','instantiate') <-?- John
51YAP query failed
52A partial proof(type:what)
53pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
54pPA.standard <- 'proj1'
55pPA.std_ops <- 'info'
56pPA.owner('proj1') <- pDrd
57pDrd.delegate_memberQ_('proj1','info') <- pJohn
58
59===good============ PA.memberQ('proj1','instantiate') <-?- Tim
60YAP query succeed
61pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv)
62pPA.standard <- 'proj1'
63pPA.std_ops <- 'instantiate'
64pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
65pPA.owner('proj1') <- pDrd
66pDrd.delegate_memberQ_('proj1','instantiate') <- pTim
67
68next proof:
69pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member(P)
70pPA.standard <- 'proj1'
71pPA.std_ops <- 'instantiate'
72pPA.member('proj1') <- pTim
73
74next proof:
75no more..
76
77
78===bad============ PA.memberQ('proj2','info') <-?- Tim
79YAP query failed
80A partial proof(type:what)
81pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv)
82pPA.standard <- 'proj1'
83pPA.std_ops <- 'instantiate'
84pPA.owner('proj1') <- pDrd
85pDrd.delegate_memberQ_('proj1','instantiate') <- pTim
86
87===good============ PA.memberQ('proj2','info') <-?- Joe
88YAP query succeed
89pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv)
90pPA.standard <- 'proj2'
91pPA.std_ops <- 'info'
92pPA.delegate_memberQ_('proj2','info') <- pJohn
93
94
95
96=====================s3_run_query==================
97 
98===bad============ PA.memberQ_(proj1,'info')<-?-Dan
99YAP query failed
100prover failed!!
101 
102===good============ PA.memberQ(proj1,'info')<-?-Dan
103YAP query succeed
104prover success!!
105credentials needed :
106 pPA.memberQ('proj1','info')  <- pDan
107 
108===bad============ PA.memberQ_(proj1,'stop')<-?-Dan
109YAP query failed
110prover failed!!
111 
112===good============ PA.memberQ(proj1,'stop')<-?-Dan
113YAP query succeed
114prover success!!
115credentials needed :
116 pPA.memberQ('proj1','stop')  <- pDan
117 
118===good============ PA.memberQ_(proj1,'info')<-?-Frank
119YAP query succeed
120prover success!!
121credentials needed :
122 pPA.memberQ_('proj1','info')  <- pFrank
123 
124===good============ PA.memberQ(proj1,'info')<-?-Frank
125YAP query succeed
126prover success!!
127credentials needed :
128 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv)
129 pPA.standard  <- 'proj1'
130 pPA.std_ops  <- 'info'
131 pPA.memberQ_('proj1','info')  <- pFrank
132 
133===good============ PA.memberQ_(proj1,'stop')<-?-Frank
134YAP query succeed
135prover success!!
136credentials needed :
137 pPA.memberQ_('proj1','stop')  <- pFrank
138 
139===good============ PA.memberQ(proj1,'stop')<-?-Frank
140YAP query succeed
141prover success!!
142credentials needed :
143 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv)
144 pPA.standard  <- 'proj1'
145 pPA.std_ops  <- 'stop'
146 pPA.memberQ_('proj1','stop')  <- pFrank
147 
148===bad============ PA.memberQ_(proj1,'info')<-?-James
149YAP query failed
150prover failed!!
151 
152===good============ PA.memberQ(proj1,'info')<-?-James
153YAP query succeed
154prover success!!
155credentials needed :
156 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.delegate_memberQ_(P,Priv)
157 pPA.standard  <- 'proj1'
158 pPA.std_ops  <- 'info'
159 pPA.delegate_memberQ_('proj1','info')  <- pJames
160 
161===bad============ PA.memberQ_(proj1,'stop')<-?-James
162YAP query failed
163prover failed!!
164 
165===good============ PA.memberQ(proj1,'stop')<-?-James
166YAP query succeed
167prover success!!
168credentials needed :
169 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv).memberQ(P,Priv)
170 pPA.standard  <- 'proj1'
171 pPA.std_ops  <- 'stop'
172 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.member_(P)
173 pPA.member_(P:pPA.standard)  <- pPA.owner(P)
174 pPA.owner('proj1')  <- pDrd
175 pDrd.memberQ('proj1','stop')  <- pJames
176 
177===bad============ PA.memberQ_(proj1,'info')<-?-Lisa
178YAP query failed
179prover failed!!
180 
181===good============ PA.memberQ(proj1,'info')<-?-Lisa
182YAP query succeed
183prover success!!
184credentials needed :
185 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv).memberQ(P,Priv)
186 pPA.standard  <- 'proj1'
187 pPA.std_ops  <- 'info'
188 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.member_(P)
189 pPA.member_(P:pPA.standard)  <- pPA.owner(P)
190 pPA.owner('proj1')  <- pDrd
191 pDrd.memberQ('proj1','info')  <- pLisa
192 
193===bad============ PA.memberQ_(proj1,'stop')<-?-Lisa
194YAP query failed
195prover failed!!
196 
197===good============ PA.memberQ(proj1,'stop')<-?-Lisa
198YAP query succeed
199prover success!!
200credentials needed :
201 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.delegate_memberQ_(P,Priv)
202 pPA.standard  <- 'proj1'
203 pPA.std_ops  <- 'stop'
204 pPA.delegate_memberQ_('proj1','stop')  <- pLisa
205 
206===good============ PA.memberQ_(proj1,'info')<-?-Tim
207YAP query succeed
208prover success!!
209credentials needed :
210 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv)
211 pPA.standard  <- 'proj1'
212 pPA.std_ops  <- 'info'
213 pPA.owner('proj1')  <- pDrd
214 pDrd.memberQ_('proj1','info')  <- pTim
215 
216===good============ PA.memberQ(proj1,'info')<-?-Tim
217YAP query succeed
218prover success!!
219credentials needed :
220 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv)
221 pPA.standard  <- 'proj1'
222 pPA.std_ops  <- 'info'
223 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv)
224 pPA.owner('proj1')  <- pDrd
225 pDrd.memberQ_('proj1','info')  <- pTim
226 
227===good============ PA.memberQ_(proj1,'stop')<-?-Tim
228YAP query succeed
229prover success!!
230credentials needed :
231 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv)
232 pPA.standard  <- 'proj1'
233 pPA.std_ops  <- 'stop'
234 pPA.owner('proj1')  <- pDrd
235 pDrd.memberQ_('proj1','stop')  <- pTim
236 
237===good============ PA.memberQ(proj1,'stop')<-?-Tim
238YAP query succeed
239prover success!!
240credentials needed :
241 pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.memberQ_(P,Priv)
242 pPA.standard  <- 'proj1'
243 pPA.std_ops  <- 'stop'
244 pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops)  <- pPA.owner(P).memberQ_(P,Priv)
245 pPA.owner('proj1')  <- pDrd
246 pDrd.memberQ_('proj1','stop')  <- pTim
247 
248===good============ John.memberQ(proj2,info)<-?-$ Joe
249YAP query succeed
250prover success!!
251credentials needed :
252 pJohn.memberQ('proj2','info')  <- pJoe
253
254
255
Note: See TracBrowser for help on using the repository browser.