=====================s6_query.py================== keystore is not set, using current directory... ...initial principal set... #PP# (pAlice,keyid,y) #PP# (pDan,keyid,y) #PP# (pDrd,keyid,y) #PP# (pEXO,keyid,y) #PP# (pFrank,keyid,y) #PP# (pGM,keyid,y) #PP# (pGR,keyid,y) #PP# (pG,keyid,y) #PP# (pIDP,keyid,y) #PP# (pLisa,keyid,y) #PP# (pPA,keyid,y) #PP# (pSA,keyid,y) ...initial policy attribute set... #CC# pG.aggregate <- pG.geniRoot.aggregate #CC# pG.geniPI <- pG.identityProvider.geniPI #CC# pG.geniProxy <- pG.geniRoot.geniProxy #CC# pG.geniUser <- pG.identityProvider.geniUser #CC# pG.gmoc <- pG.geniRoot.gmoc #CC# pG.identityProvider <- pG.geniRoot.identityProvider #CC# pG.projectAuthority <- pG.geniRoot.projectAuthority #CC# pG.qualifiedProject <- pG.root(This).project #CC# pG.root(P) <- pG.projectAuthority.root(P) #CC# pG.root(S) <- pG.sliceAuthority.root(S) #CC# pG.sliceAuthority <- pG.geniRoot.sliceAuthority #CC# pPA.createRoot <- pPA.geniPI #CC# pPA.delegate_member_(P:pPA.standard) <- pPA.owner(P).delegate_member_(P) #CC# pPA.delegate_memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).delegate_memberQ_(P,Priv) #CC# pPA.member_(P:pPA.standard) <- pPA.delegate_member_(P).member_(P) #CC# pPA.member_(P:pPA.standard) <- pPA.owner(P) #CC# pPA.member_(P:pPA.standard) <- pPA.owner(P).member_(P) #CC# pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv).memberQ_(P,Priv) #CC# pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) #CC# pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).memberQ_(P,Priv) #CC# pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.delegate_memberQ_(P,Priv) #CC# pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv) #CC# pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv).memberQ(P,Priv) #CC# pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member(P) #CC# pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).memberQ(P,Priv) #CC# pPA.member(P:pPA.standard) <- pPA.delegate_member_(P) #CC# pPA.member(P:pPA.standard) <- pPA.member_(P) #CC# pPA.member(P:pPA.standard) <- pPA.member_(P).member(P) #CC# pPA.member(P:pPA.standard) <- pPA.owner(P) #CC# pPA.member(P:pPA.standard) <- pPA.owner(P).member(P) #CC# pPA.std_ops <- 'info' #CC# pPA.std_ops <- 'instantiate' #CC# pPA.std_ops <- 'stop' #CC# pSA.createSlice(P:pSA.qualifiedProject) <- pSA.geniProxy & pSA.speaksFor(C:pSA.projectAuthority.memberQ(P,'instantiate')) #CC# pSA.createSlice(P:pSA.qualifiedProject) <- pSA.geniUser & pSA.projectAuthority.memberQ(P,'instantiate') #CC# pSA.controls_(S:pSA.standard) <- pSA.delegate_controls_(S).controls_(S) #CC# pSA.controls_(S:pSA.standard) <- pSA.owner(S) #CC# pSA.controls_(S:pSA.standard) <- pSA.owner(S).controls_(S) #CC# pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S) #CC# pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) #CC# pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) #CC# pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controls_(S) #CC# pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv).controlsQ_(S,Priv) #CC# pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) #CC# pSA.controlsQ(S:pSA.inStdProject(P),'info') <- pSA.projectAuthority.memberQ(P,'info') #CC# pSA.controlsQ(S:pSA.inStdProject(P),'info') <- pSA.projectAuthority.owner(P) #CC# pSA.controlsQ(S:pSA.inStdProject(P),'stop') <- pSA.projectAuthority.owner(P) #CC# pSA.controlsQ(S:pSA.standard,'info') <- pSA.gmoc #CC# pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) #CC# pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls(S) #CC# pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ(S,Priv) #CC# pSA.controlsQ(S:pSA.standard,'stop') <- pSA.gmoc #CC# pSA.controls(S:pSA.standard) <- pSA.controls_(S) #CC# pSA.controls(S:pSA.standard) <- pSA.delegate_controls_(S) #CC# pSA.controls(S:pSA.standard) <- pSA.controls_(S).controls(S) #CC# pSA.controls(S:pSA.standard) <- pSA.owner(S) #CC# pSA.controls(S:pSA.standard) <- pSA.owner(S).controls(S) #CC# pSA.delegate_controls_(S:pSA.standard) <- pSA.owner(S).delegate_controls_(S) #CC# pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv) #CC# pSA.inStdProject(P:pPA.standard) <- pSA.inProject(P) & pSA.standard #CC# pDrd.project <- 'proj1' #CC# pDrd.slice <- 'sliceA' #CC# pGR.aggregate <- pEXO #CC# pGR.identityProvider <- pIDP #CC# pGR.projectAuthority <- pPA #CC# pGR.sliceAuthority <- pSA #CC# pG.geniRoot <- pGR #CC# pIDP.geniPI <- pDrd #CC# pDrd.memberQ('proj1','info') <- pFrank #CC# pDrd.memberQ('proj1','instantiate') <- pDan #CC# pPA.owner('proj1') <- pDrd #CC# pPA.root('proj1') <- pDrd #CC# pPA.standard <- 'proj1' #CC# pSA.geniProxy <- pLisa #CC# pSA.geniUser <- pDan #CC# pSA.geniUser <- pDrd #CC# pSA.geniUser <- pFrank #CC# pSA.gmoc <- pAlice #CC# pSA.inProject('proj1') <- 'sliceA' #CC# pSA.owner('sliceA') <- pDrd #CC# pSA.projectAuthority <- pPA #CC# pSA.qualifiedProject <- 'proj1' #CC# pSA.root('sliceA') <- pDrd #CC# pSA.speaksFor(pDan) <- pLisa #CC# pSA.standard <- 'sliceA' ===good============ SA.controlsQ('sliceA','info') <-?- Drd YAP query succeed pSA.controlsQ(S:pSA.inStdProject(P),'info') <- pSA.projectAuthority.memberQ(P,'info') pSA.inStdProject(P:pPA.standard) <- pSA.inProject(P) & pSA.standard pPA.standard <- 'proj1' pSA.inProject('proj1') <- 'sliceA' pSA.standard <- 'sliceA' pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv) pPA.std_ops <- 'info' pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) pPA.member_(P:pPA.standard) <- pPA.owner(P) pPA.owner('proj1') <- pDrd ===good============ SA.createSlice('proj1') <-?- Drd YAP query succeed pSA.createSlice(P:pSA.qualifiedProject) <- pSA.geniUser & pSA.projectAuthority.memberQ(P,'instantiate') pSA.qualifiedProject <- 'proj1' pSA.geniUser <- pDrd pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv) pPA.standard <- 'proj1' pPA.std_ops <- 'instantiate' pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) pPA.member_(P:pPA.standard) <- pPA.owner(P) pPA.owner('proj1') <- pDrd ===good============ SA.Stanard <-?- 'sliceA' YAP query succeed pSA.standard <- 'sliceA' ===good============ SA.inProject('proj1') <-?- 'sliceA' YAP query succeed pSA.inProject('proj1') <- 'sliceA' ===good============ SA.inStdProject('proj1') <-?- 'sliceA' YAP query succeed pSA.inStdProject(P:pPA.standard) <- pSA.inProject(P) & pSA.standard pPA.standard <- 'proj1' pSA.inProject('proj1') <- 'sliceA' pSA.standard <- 'sliceA' ===good============ SA.createSlice('proj1') <-?- lisa YAP query succeed pSA.createSlice(P:pSA.qualifiedProject) <- pSA.geniProxy & pSA.speaksFor(C:pSA.projectAuthority.memberQ(P,'instantiate')) pSA.qualifiedProject <- 'proj1' pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv).memberQ(P,Priv) pPA.standard <- 'proj1' pPA.std_ops <- 'instantiate' pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) pPA.member_(P:pPA.standard) <- pPA.owner(P) pPA.owner('proj1') <- pDrd pDrd.memberQ('proj1','instantiate') <- pDan pSA.geniProxy <- pLisa pSA.speaksFor(pDan) <- pLisa next proof: pSA.createSlice(P:pSA.qualifiedProject) <- pSA.geniProxy & pSA.speaksFor(C:pSA.projectAuthority.memberQ(P,'instantiate')) pSA.qualifiedProject <- 'proj1' pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).memberQ(P,Priv) pPA.standard <- 'proj1' pPA.std_ops <- 'instantiate' pPA.owner('proj1') <- pDrd pDrd.memberQ('proj1','instantiate') <- pDan pSA.geniProxy <- pLisa pSA.speaksFor(pDan) <- pLisa next proof: no more.. ===good============ SA.createSlice('proj1') <-?- Dan YAP query succeed pSA.createSlice(P:pSA.qualifiedProject) <- pSA.geniUser & pSA.projectAuthority.memberQ(P,'instantiate') pSA.qualifiedProject <- 'proj1' pSA.geniUser <- pDan pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv).memberQ(P,Priv) pPA.standard <- 'proj1' pPA.std_ops <- 'instantiate' pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) pPA.member_(P:pPA.standard) <- pPA.owner(P) pPA.owner('proj1') <- pDrd pDrd.memberQ('proj1','instantiate') <- pDan next proof: pSA.createSlice(P:pSA.qualifiedProject) <- pSA.geniUser & pSA.projectAuthority.memberQ(P,'instantiate') pSA.qualifiedProject <- 'proj1' pSA.geniUser <- pDan pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).memberQ(P,Priv) pPA.standard <- 'proj1' pPA.std_ops <- 'instantiate' pPA.owner('proj1') <- pDrd pDrd.memberQ('proj1','instantiate') <- pDan next proof: no more.. ===bad============ SA.createSlice('proj1') <-?- Frank YAP query failed A partial proof(type:what_default) pSA.geniUser <- pFrank ===good============ PA.memberQ('proj1','instantiate') <-?- Dan YAP query succeed pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv).memberQ(P,Priv) pPA.standard <- 'proj1' pPA.std_ops <- 'instantiate' pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) pPA.member_(P:pPA.standard) <- pPA.owner(P) pPA.owner('proj1') <- pDrd pDrd.memberQ('proj1','instantiate') <- pDan next proof: pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.owner(P).memberQ(P,Priv) pPA.standard <- 'proj1' pPA.std_ops <- 'instantiate' pPA.owner('proj1') <- pDrd pDrd.memberQ('proj1','instantiate') <- pDan next proof: no more.. ===bad============ SA.speaksFor(Dan) <-?- Frank YAP query failed A partial proof(type:what_default) pSA.geniUser <- pFrank next proof: A partial proof(type:who) pSA.speaksFor(pDan) <- pLisa next proof: no more.. =====================s6_run_query================== ===good============ SA.controlsQ('sliceA','info') <-?- Drd YAP query succeed prover success!! credentials needed : pSA.controlsQ(S:pSA.inStdProject(P),'info') <- pSA.projectAuthority.memberQ(P,'info') pSA.inStdProject(P:pPA.standard) <- pSA.inProject(P) & pSA.standard pPA.standard <- 'proj1' pSA.inProject('proj1') <- 'sliceA' pSA.standard <- 'sliceA' pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv) pPA.std_ops <- 'info' pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) pPA.member_(P:pPA.standard) <- pPA.owner(P) pPA.owner('proj1') <- pDrd ===good============ SA.controlsQ('sliceA','stop') <-?- Drd YAP query succeed prover success!! credentials needed : pSA.controlsQ(S:pSA.inStdProject(P),'stop') <- pSA.projectAuthority.owner(P) pSA.inStdProject(P:pPA.standard) <- pSA.inProject(P) & pSA.standard pPA.standard <- 'proj1' pSA.inProject('proj1') <- 'sliceA' pSA.standard <- 'sliceA' pSA.projectAuthority <- pPA pPA.owner('proj1') <- pDrd ===good============ SA.controlsQ('sliceA','info') <-?- Frank YAP query succeed prover success!! credentials needed : pSA.controlsQ(S:pSA.inStdProject(P),'info') <- pSA.projectAuthority.memberQ(P,'info') pSA.inStdProject(P:pPA.standard) <- pSA.inProject(P) & pSA.standard pPA.standard <- 'proj1' pSA.inProject('proj1') <- 'sliceA' pSA.standard <- 'sliceA' pSA.projectAuthority <- pPA pPA.memberQ(P:pPA.standard,Priv:pPA.std_ops) <- pPA.memberQ_(P,Priv).memberQ(P,Priv) pPA.std_ops <- 'info' pPA.memberQ_(P:pPA.standard,Priv:pPA.std_ops) <- pPA.member_(P) pPA.member_(P:pPA.standard) <- pPA.owner(P) pPA.owner('proj1') <- pDrd pDrd.memberQ('proj1','info') <- pFrank ===bad============ SA.controlsQ('sliceA','stop') <-?- Frank YAP query failed prover failed!! ===bad============ SA.controlsQ('sliceA','info') <-?- Dan YAP query failed prover failed!! ===bad============ SA.controlsQ('sliceA','stop') <-?- Dan YAP query failed prover failed!! ===good============ SA.controlsQ('sliceA','info') <-?- Alice YAP query succeed prover success!! credentials needed : pSA.controlsQ(S:pSA.standard,'info') <- pSA.gmoc pSA.standard <- 'sliceA' pSA.gmoc <- pAlice ===good============ SA.controlsQ('sliceA','stop') <-?- Alice YAP query succeed prover success!! credentials needed : pSA.controlsQ(S:pSA.standard,'stop') <- pSA.gmoc pSA.standard <- 'sliceA' pSA.gmoc <- pAlice