source: examples/access_tests/creddy_prover/s4_result.save @ 11ca336

mei_rt2
Last change on this file since 11ca336 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: 6.3 KB
Line 
1=====================s4_query.py==================
2keystore is not set, using current directory...
3
4===good============ SA.controls('sliceA') <-?- Frank
5YAP query succeed
6pSA.controls(S:pSA.standard) <- pSA.controls_(S).controls(S)
7pSA.standard <- 'sliceA'
8pSA.controls_(S:pSA.standard) <- pSA.owner(S)
9pSA.owner('sliceA') <- pDrd
10pDrd.controls('sliceA') <- pFrank
11
12next proof:
13pSA.controls(S:pSA.standard) <- pSA.owner(S).controls(S)
14pSA.standard <- 'sliceA'
15pSA.owner('sliceA') <- pDrd
16pDrd.controls('sliceA') <- pFrank
17
18next proof:
19no more..
20
21
22===good============ SA.delegate_controls_('sliceA') <-?- Cary
23YAP query succeed
24pSA.delegate_controls_('sliceA') <- pCary
25
26===bad============ SA.controls_('sliceA') <-?- Cary
27YAP query failed
28A partial proof(type:what)
29pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S)
30pSA.standard <- 'sliceA'
31pSA.delegate_controls_('sliceA') <- pCary
32
33===good============ SA.controls('sliceA') <-?- Drd
34YAP query succeed
35pSA.controls(S:pSA.standard) <- pSA.controls_(S)
36pSA.standard <- 'sliceA'
37pSA.controls_(S:pSA.standard) <- pSA.owner(S)
38pSA.owner('sliceA') <- pDrd
39
40next proof:
41pSA.controls(S:pSA.standard) <- pSA.owner(S)
42pSA.standard <- 'sliceA'
43pSA.owner('sliceA') <- pDrd
44
45next proof:
46no more..
47
48
49===good============ SA.controls('sliceA') <-?- Cary
50YAP query succeed
51pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S)
52pSA.standard <- 'sliceA'
53pSA.delegate_controls_('sliceA') <- pCary
54
55===good============ SA.delegate_controls_('sliceA') <-?- Jim
56YAP query succeed
57pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S)
58pSA.standard <- 'sliceA'
59pSA.owner('sliceA') <- pDrd
60pDrd.delegate_controls_('sliceA') <- pJim
61
62===bad============ SA.controls_('sliceA') <-?- Jim
63YAP query failed
64A partial proof(type:what)
65pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S)
66pSA.standard <- 'sliceA'
67pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S)
68pSA.owner('sliceA') <- pDrd
69pDrd.delegate_controls_('sliceA') <- pJim
70
71===bad============ SA.delegate_controls_('sliceA') <-?- Nancy
72YAP query failed
73A partial proof(type:what)
74pSA.controls_(S:pSA.standard) <- pSA.delegate_controls_(S).controls_(S)
75pSA.standard <- 'sliceA'
76pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S)
77pSA.owner('sliceA') <- pDrd
78pDrd.delegate_controls_('sliceA') <- pJim
79pJim.controls_('sliceA') <- pNancy
80
81
82
83=====================s4_run_query==================
84 
85===bad============ SA.controls_(sliceA)<-?-Frank
86YAP query failed
87prover failed!!
88 
89===good============ SA.controls(sliceA)<-?-Frank
90YAP query succeed
91prover success!!
92credentials 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
100YAP query succeed
101prover success!!
102credentials 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
109YAP query succeed
110prover success!!
111credentials 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
119YAP query succeed
120prover success!!
121credentials needed :
122 pSA.controls_('sliceB')  <- pDan
123 
124===good============ SA.controls(sliceB)<-?-Dan
125YAP query succeed
126prover success!!
127credentials 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
133YAP query failed
134prover failed!!
135 
136===good============ SA.controls(sliceA)<-?-Jim
137YAP query succeed
138prover success!!
139credentials 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
147YAP query succeed
148prover success!!
149credentials 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
158YAP query succeed
159prover success!!
160credentials 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
170YAP query failed
171prover failed!!
172 
173===good============ SA.controls(sliceA)<-?-Lisa
174YAP query succeed
175prover success!!
176credentials needed :
177 pSA.controls('sliceA')  <- pLisa
178 
179===bad============ SA.controls_(sliceA)<-?-Cary
180YAP query failed
181prover failed!!
182 
183===good============ SA.controls(sliceA)<-?-Cary
184YAP query succeed
185prover success!!
186credentials 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
192YAP query succeed
193prover success!!
194credentials needed :
195 pSA.controls_('sliceA')  <- pAlice
196 
197===good============ SA.controls(sliceA)<-?-Alice
198YAP query succeed
199prover success!!
200credentials 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
206YAP query succeed
207prover success!!
208credentials 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
214YAP query succeed
215prover success!!
216credentials 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
Note: See TracBrowser for help on using the repository browser.