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