[2e9455f] | 1 | #!/bin/sh |
---|
| 2 | |
---|
| 3 | ##################################################################### |
---|
| 4 | # This policy.sh contains the RT2 policy rules Ted Faber |
---|
| 5 | # translated from Jeff Chase's GENI authorization writeup for prolog |
---|
| 6 | # |
---|
| 7 | # |
---|
| 8 | keyloc=`pwd` |
---|
| 9 | |
---|
| 10 | makeWho() { |
---|
| 11 | WHO=$1 |
---|
| 12 | rm -rf ${WHO}_*.pem |
---|
| 13 | creddy --generate --cn ${WHO} |
---|
| 14 | } |
---|
| 15 | makeWho G |
---|
| 16 | makeWho PA |
---|
| 17 | makeWho SA |
---|
| 18 | |
---|
| 19 | g=`creddy --keyid --cert $keyloc/G_ID.pem` |
---|
| 20 | pa=`creddy --keyid --cert $keyloc/PA_ID.pem` |
---|
| 21 | sa=`creddy --keyid --cert $keyloc/SA_ID.pem` |
---|
| 22 | |
---|
| 23 | ##################################################################### |
---|
| 24 | sfile=sfile |
---|
| 25 | echo "s/$g/G/g " > $sfile |
---|
| 26 | echo "s/$pa/PA/g " >> $sfile |
---|
| 27 | echo "s/$sa/SA/g " >> $sfile |
---|
| 28 | |
---|
| 29 | ##################################################################### |
---|
| 30 | pname=yap_clauses |
---|
| 31 | namespace=access1 |
---|
| 32 | |
---|
| 33 | ##################################################################### |
---|
| 34 | ## G.identityProvider <- (G.geniRoot).identityProvider |
---|
| 35 | attr="[keyid:$g].role:identityProvider <- [keyid:$g].role:geniRoot.role:identityProvider" |
---|
| 36 | name=G_idenProver__gRoot_idenProvider_attr.der |
---|
| 37 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 38 | |
---|
| 39 | ## G.sliceAuthority <- (G.geniRoot).sliceAuthority |
---|
| 40 | attr="[keyid:$g].role:sliceAuthority <- [keyid:$g].role:geniRoot.role:sliceAuthority" |
---|
| 41 | name=G_sliceAuthority__gRoot_sliceAuthority_attr.der |
---|
| 42 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 43 | |
---|
| 44 | ## G.projectAuthority <- (G.geniRoot).projectAuthority |
---|
| 45 | attr="[keyid:$g].role:projectAuthority <- [keyid:$g].role:geniRoot.role:projectAuthority" |
---|
| 46 | name=G_projAuthority__gRoot_projAuthority_attr.der |
---|
| 47 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 48 | |
---|
| 49 | ## G.geniProxy <- (G.geniRoot).geniProxy |
---|
| 50 | attr="[keyid:$g].role:geniProxy <- [keyid:$g].role:geniRoot.role:geniProxy" |
---|
| 51 | name=G_geniProxy__gRoot_geniProxy_attr.der |
---|
| 52 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 53 | |
---|
| 54 | ## G.aggregate <- (G.geniRoot).aggregate |
---|
| 55 | attr="[keyid:$g].role:aggregate <- [keyid:$g].role:geniRoot.role:aggregate" |
---|
| 56 | name=G_aggr__gRoot_aggr_attr.der |
---|
| 57 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 58 | |
---|
| 59 | ## G.gmoc <- (G.geniRoot).gmoc |
---|
| 60 | attr="[keyid:$g].role:gmoc <- [keyid:$g].role:geniRoot.role:gmoc" |
---|
| 61 | name=G_gmoc__gRoot_gmoc_attr.der |
---|
| 62 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 63 | |
---|
| 64 | ## G.geniUser <- (G.identityProvider).geniUser |
---|
| 65 | attr="[keyid:$g].role:geniUser <- [keyid:$g].role:identityProvider.role:geniUser" |
---|
| 66 | name=G_geniUser__idenProvider_geniUser_attr.der |
---|
| 67 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 68 | |
---|
| 69 | ## G.geniPI <- (G.identityProvider).geniPI |
---|
| 70 | attr="[keyid:$g].role:geniPI <- [keyid:$g].role:identityProvider.role:geniPI" |
---|
| 71 | name=G_geniPI__idenProvider_geniPI_attr.der |
---|
| 72 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 73 | |
---|
| 74 | ## G.root(?P) <- (G.projectAuthority).root(?P) |
---|
| 75 | attr="[keyid:$g].role:root([string:?P]) <- [keyid:$g].role:projectAuthority.role:root([string:?P])" |
---|
| 76 | name=G_root_qP__projAuthority_root_qP_attr.der |
---|
| 77 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 78 | |
---|
| 79 | ## G.root(?S) <- (G.sliceAuthority).root(?S) |
---|
| 80 | attr="[keyid:$g].role:root([string:?S]) <- [keyid:$g].role:sliceAuthority.role:root([string:?S])" |
---|
| 81 | name=G_root_qP__sliceAuthority_root_qP_attr.der |
---|
| 82 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 83 | |
---|
| 84 | ## G.qualifiedProject <- (G.root(?this)).project |
---|
| 85 | attr="[keyid:$g].oset:qualifiedProject <- [keyid:$g].role:root([?this]).oset:project" |
---|
| 86 | name=G_qualProject__root_qTHIS_proj_attr.der |
---|
| 87 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 88 | |
---|
| 89 | ## PA.member(?P:PA.standard) <- PA.member_(?P) |
---|
| 90 | attr="[keyid:$pa].role:member([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:member_([string:?P])" |
---|
| 91 | name=PA_member_qP_std__PA_memberDel_qP_attr.der |
---|
| 92 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 93 | |
---|
| 94 | ## PA.member(?P:PA.standard) <- PA.delegate_member_(?P) |
---|
| 95 | attr="[keyid:$pa].role:member([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:delegate_member_([string:?P])" |
---|
| 96 | name=PA_member_qP_std__PA_delmemberDel_qP_attr.der |
---|
| 97 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 98 | |
---|
| 99 | ## PA.member(?P:PA.standard) <- PA.owner(?P) |
---|
| 100 | attr="[keyid:$pa].role:member([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:owner([string:?P])" |
---|
| 101 | name=PA_member_qP_std__PA_owner_qP_attr.der |
---|
| 102 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 103 | |
---|
| 104 | ## PA.member_(?P:PA.standard) <- PA.owner(?P) |
---|
| 105 | attr="[keyid:$pa].role:member_([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:owner([string:?P])" |
---|
| 106 | name=PA_memberDel_qP_std__PA_owner_qP_attr.der |
---|
| 107 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 108 | |
---|
| 109 | ## PA.member(?P:PA.standard) <- (PA.owner(?P)).member(?P) |
---|
| 110 | attr="[keyid:$pa].role:member([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:owner([string:?P]).role:member([string:?P])" |
---|
| 111 | name=PA_member_qP_std__PA_owner_qP_member_qP_attr.der |
---|
| 112 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 113 | |
---|
| 114 | ## PA.member(?P:PA.standard) <- (PA.member_(?P)).member(?P) |
---|
| 115 | attr="[keyid:$pa].role:member([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:member_([string:?P]).role:member([string:?P])" |
---|
| 116 | name=PA_member_qP_std__PA_memberDel_qP_member_qP_attr.der |
---|
| 117 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 118 | |
---|
| 119 | ## PA.delegate_member_(?P:PA.standard) <- (PA.owner(?P)).delegate_member_(?P) |
---|
| 120 | attr="[keyid:$pa].role:delegate_member_([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:owner([string:?P]).role:delegate_member_([string:?P])" |
---|
| 121 | name=PA_delmemberDel_qP_std__PA_owner_qP_delmemberDel_qP_attr.der |
---|
| 122 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 123 | |
---|
| 124 | ## PA.member_(?P:PA.standard) <- (PA.delegate_member_(?P)).member_(?P) |
---|
| 125 | attr="[keyid:$pa].role:member_([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:delegate_member_([string:?P]).role:member_([string:?P])" |
---|
| 126 | name=PA_memberDel_qP_std__PA_delmemberDel_qP_memberDel_qP_attr.der |
---|
| 127 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 128 | |
---|
| 129 | ## PA.member_(?P:PA.standard) <- (PA.owner(?P)).member_(?P) |
---|
| 130 | attr="[keyid:$pa].role:member_([string:?P[keyid:$pa].oset:standard])<-[keyid:$pa].role:owner([string:?P]).role:member_([string:?P])" |
---|
| 131 | name=PA_memberDel_qP_std__PA_owner_qP_memberDel_qP_attr.der |
---|
| 132 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 133 | |
---|
| 134 | ## PA.memberQ(?P:PA.standard, ?Priv:PA.std_ops) <- PA.member(?P) |
---|
| 135 | attr="[keyid:$pa].role:memberQ([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:member([string:?P])" |
---|
| 136 | name=PA_memberQ_qP_std_qPRIV_stdops__member_qP_attr.der |
---|
| 137 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 138 | |
---|
| 139 | ## PA.memberQ(?P:PA.standard, ?Priv:PA.std_ops) <- PA.memberQ_(?P, ?Priv) |
---|
| 140 | attr="[keyid:$pa].role:memberQ([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:memberQ_([string:?P],[string:?Priv])" |
---|
| 141 | name=PA_memberQ_qP_std_qPRIV_stdops__memberQDel_qP_qPRIV_stdops_attr.der |
---|
| 142 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 143 | |
---|
| 144 | ## PA.memberQ(?P:PA.standard, ?Priv:PA.std_ops) <- PA.delegate_memberQ_(?P, ?Priv) |
---|
| 145 | attr="[keyid:$pa].role:memberQ([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:delegate_memberQ_([string:?P],[string:?Priv])" |
---|
| 146 | name=PA_memberQ_qP_std_qPRIV_stdops__delmemberQDel_qP_qPRIV_stdops_attr.der |
---|
| 147 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 148 | |
---|
| 149 | ## PA.memberQ(?P:PA.standard, ?Priv:PA.std_ops) <- (PA.memberQ_(?P, ?Priv)).memberQ(?P, ?Priv) |
---|
| 150 | attr="[keyid:$pa].role:memberQ([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:memberQ_([string:?P],[string:?Priv]).role:memberQ([string:?P],[string:?Priv])" |
---|
| 151 | name=PA_memberQ_qP_std_qPRIV_stdops__memberQDel_qP_qPRIV_stdops_memberQ_qP_qPRIV_stdops_attr.der |
---|
| 152 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 153 | |
---|
| 154 | ## PA.memberQ(?P:PA.standard, ?Priv:PA.std_ops) <- (PA.owner(?P)).memberQ(?P, ?Priv) |
---|
| 155 | attr="[keyid:$pa].role:memberQ([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:owner([string:?P]).role:memberQ([string:?P],[string:?Priv])" |
---|
| 156 | name=PA_memberQ_qP_std_qPRIV_stdops__owner_qP_memberQ_qP_qPRIV_stdops_attr.der |
---|
| 157 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 158 | |
---|
| 159 | ## PA.delegate_memberQ_(?P:PA.standard, ?Priv:PA.std_ops) <- (PA.owner(?P)).delegate_memberQ(?P, ?Priv) |
---|
| 160 | attr="[keyid:$pa].role:delegate_memberQ_([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:owner([string:?P]).role:delegate_memberQ_([string:?P],[string:?Priv])" |
---|
| 161 | name=PA_delmemberQDel_qP_std_qPRIV_stdops__owner_qP_delmemberQDel_qP_qPRIV_stdops_attr.der |
---|
| 162 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 163 | |
---|
| 164 | ## PA.memberQ_(?P:PA.standard, ?Priv:PA.std_ops) <- (PA.delegate_memberQ_(?P,?Priv)).memberQ_(?P,?Priv) |
---|
| 165 | attr="[keyid:$pa].role:memberQ_([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops])<-[keyid:$pa].role:delegate_memberQ_([string:?P],[string:?Priv]).role:memberQ_([string:?P],[string:?Priv])" |
---|
| 166 | name=PA_memberQDel_qP_std_qPRIV_stdops__PA_delmemberQDel_qP_qPRIV_memberQDel_qP_qPRIV_attr.der |
---|
| 167 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 168 | |
---|
| 169 | ## PA.memberQ_(?P:PA.standard, ?Priv:PA.std_ops) <- (PA.owner(?P)).memberQ_(?P, ?Priv) |
---|
| 170 | attr="[keyid:$pa].role:memberQ_([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:owner([string:?P]).role:memberQ_([string:?P],[string:?Priv])" |
---|
| 171 | name=PA_memberQDel_qP_std_qPRIV_stdops__owner_qP_memberQDel_qP_qPRIV_stdops_attr.der |
---|
| 172 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 173 | |
---|
| 174 | ## PA.memberQ_(?P:PA.standard, ?Priv:PA.std_ops) <- PA.member_(?P) |
---|
| 175 | attr="[keyid:$pa].role:memberQ_([string:?P[keyid:$pa].oset:standard], [string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:member_([string:?P])" |
---|
| 176 | name=PA_memberQDel_qP_std_qPRIV_stdops__memberDel_qP_attr.der |
---|
| 177 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 178 | |
---|
| 179 | ## PA.std_ops <- "info" |
---|
| 180 | attr="[keyid:$pa].oset:std_ops <- [string:'info']" |
---|
| 181 | name=PA_stdops__info_attr.der |
---|
| 182 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 183 | |
---|
| 184 | ## PA.std_ops <- "instantiate" |
---|
| 185 | attr="[keyid:$pa].oset:std_ops <- [string:'instantiate']" |
---|
| 186 | name=PA_stdops__instantiate_attr.der |
---|
| 187 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 188 | |
---|
| 189 | ## PA.std_ops <- "stop" |
---|
| 190 | attr="[keyid:$pa].oset:std_ops <- [string:'stop']" |
---|
| 191 | name=PA_stdops__stop_attr.der |
---|
| 192 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 193 | |
---|
| 194 | ## PA.memberQ_(?P:PA.standard, ?Priv:PA.std_ops) <- PA.member_(?P) |
---|
| 195 | attr="[keyid:$pa].role:memberQ_([string:?P[keyid:$pa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$pa].role:member_([string:?P])" |
---|
| 196 | name=PA_memberQDel_qP_std_qPRIV_stdops__memberDel_qP_attr.der |
---|
| 197 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 198 | |
---|
| 199 | ## SA.controls_(?S:SA.standard) <- (SA.delegate_controls_(?S)).controls_(?S) |
---|
| 200 | attr="[keyid:$sa].role:controls_([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:delegate_controls_([string:?S]).role:controls_([string:?S])" |
---|
| 201 | name=SA_ctrlsDel_std__delctrlsDel_qS_ctrlsDel_qS_attr.der |
---|
| 202 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 203 | |
---|
| 204 | ## SA.delegate_controls_(?S:SA.standard) <- (SA.owner(?S)).delegate_controls_(?S) |
---|
| 205 | attr="[keyid:$sa].role:delegate_controls_([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:owner([string:?S]).role:delegate_controls_([string:?S])" |
---|
| 206 | name=SA_delctrlsDel_std__owner_qS_delctrlsDel_qS_attr.der |
---|
| 207 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 208 | |
---|
| 209 | ## SA.controls_(?S:SA.standard) <- (SA.owner(?S)).controls_(?S) |
---|
| 210 | attr="[keyid:$sa].role:controls_([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:owner([string:?S]).role:controls_([string:?S])" |
---|
| 211 | name=SA_ctrlsDel_std__owner_qS_ctrlsDel_qS_attr.der |
---|
| 212 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 213 | |
---|
| 214 | ## SA.controls(?S:SA.standard) <- SA.owner(?S) |
---|
| 215 | attr="[keyid:$sa].role:controls([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:owner([string:?S])" |
---|
| 216 | name=SA_ctrls_std__owner_qS_attr.der |
---|
| 217 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 218 | |
---|
| 219 | ## SA.controls_(?S:SA.standard) <- SA.owner(?S) |
---|
| 220 | attr="[keyid:$sa].role:controls_([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:owner([string:?S])" |
---|
| 221 | name=SA_ctrlsDel_std__owner_qS_attr.der |
---|
| 222 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 223 | |
---|
| 224 | ## SA.controls(?S:SA.standard) <- (SA.owner(?S)).controls(?S) |
---|
| 225 | attr="[keyid:$sa].role:controls([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:owner([string:?S]).role:controls([string:?S])" |
---|
| 226 | name=SA_ctrls_std__owner_qS_ctrls_qS_attr.der |
---|
| 227 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 228 | |
---|
| 229 | ## SA.controls(?S:SA.standard) <- (SA.controls_(?S)).controls(?S) |
---|
| 230 | attr="[keyid:$sa].role:controls([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:controls_([string:?S]).role:controls([string:?S])" |
---|
| 231 | name=SA_ctrls_std__ctrlsDel_qS_ctrls_qS_attr.der |
---|
| 232 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 233 | |
---|
| 234 | ## SA.controls(?S:SA.standard) <- SA.controls_(?S) |
---|
| 235 | attr="[keyid:$sa].role:controls([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:controls_([string:?S])" |
---|
| 236 | name=SA_ctrls_qS_std__ctrlsDel_qS_attr.der |
---|
| 237 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 238 | |
---|
| 239 | ## SA.controls(?S:SA.standard) <- SA.delegate_controls_(?S) |
---|
| 240 | attr="[keyid:$sa].role:controls([string:?S[keyid:$sa].oset:standard]) <- [keyid:$sa].role:delegate_controls_([string:?S])" |
---|
| 241 | name=SA_ctrls_qS_std__delctrlsDel_qS_attr.der |
---|
| 242 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 243 | |
---|
| 244 | ## SA.controlsQ_(?S:SA.standard, ?Priv:PA.std_ops) <- (SA.delegate_controlsQ_(?S, ?Priv)).controlsQ_(?S, ?Priv) |
---|
| 245 | attr="[keyid:$sa].role:controlsQ_([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:delegate_controlsQ_([string:?S],[string:?Priv]).role:controlsQ_([string:?S],[string:?Priv])" |
---|
| 246 | name=SA_ctrlsQDel_qS_std_qPRIV_stdops__delctrlsQDel_qS_qPRIV_stdops_ctrlsQDel_qS_qPRIV_stdops_attr.der |
---|
| 247 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 248 | |
---|
| 249 | ## SA.delegate_controlsQ_(?S:SA.standard, ?Priv:PA.std_ops) <- (SA.owner(?S)).delegate_controlsQ_(?S, ?Priv) |
---|
| 250 | attr="[keyid:$sa].role:delegate_controlsQ_([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:owner([string:?S]).role:delegate_controlsQ_([string:?S],[string:?Priv])" |
---|
| 251 | name=SA_delctrlsQDel_qS_std_qPRIV_stdops__owner_qS_delctrlsQDel_qS_qPRIV_stdops_attr.der |
---|
| 252 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 253 | |
---|
| 254 | ## SA.controlsQ_(?S:SA.standard, ?Priv:PA.std_ops) <- (SA.owner(?S)).controlsQ_(?S, ?Priv) |
---|
| 255 | attr="[keyid:$sa].role:controlsQ_([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:owner([string:?S]).role:controlsQ_([string:?S],[string:?Priv])" |
---|
| 256 | name=SA_ctrlsQDel_qS_std_qPRIV_stdops__owner_qS_ctrlsQDel_qS_qPRIV_stdops_attr.der |
---|
| 257 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 258 | |
---|
| 259 | ## SA.controlsQ_(?S:SA.standard, ?Priv:PA.std_ops) <- SA.delegate_controls_(?S) |
---|
| 260 | attr="[keyid:$sa].role:controlsQ_([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:delegate_controls_([string:?S])" |
---|
| 261 | name=SA_ctrlsQDel_qS_std_qPRIV_stdops__delctrlsDel_qS_attr.der |
---|
| 262 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 263 | |
---|
| 264 | ## SA.controlsQ_(?S:SA.standard, ?Priv:PA.std_ops) <- SA.controls_(?S) |
---|
| 265 | attr="[keyid:$sa].role:controlsQ_([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:controls_([string:?S])" |
---|
| 266 | name=SA_ctrlsQDel_qS_std_qPRIV_stdops__ctrlsDel_qS_attr.der |
---|
| 267 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 268 | |
---|
| 269 | ## SA.controlsQ_(?S:SA.standard, ?Priv:PA.std_ops) <- (SA.delegate_controlsQ_(?S, ?Priv)) |
---|
| 270 | attr="[keyid:$sa].role:controlsQ_([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:delegate_controlsQ_([string:?S],[string:?Priv])" |
---|
| 271 | name=SA_ctrlsQDel_qS_std_qPRIV_stdops__ctrlsQDel_qS_qPRIV_stdops_attr.der |
---|
| 272 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 273 | |
---|
| 274 | ## SA.controlsQ(?S:SA.standard, ?Priv:PA.std_ops) <- (SA.controlsQ_(?S, ?Priv)).controlsQ(?S, ?Priv) |
---|
| 275 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:controlsQ_([string:?S],[string:?Priv]).role:controlsQ([string:?S],[string:?Priv])" |
---|
| 276 | name=SA_ctrlsQDel_qS_std_qPRIV_stdops__ctrlsQDel_qS_qPRIV_stdops_ctrlsQ_qS_qPRIV_stdops_attr.der |
---|
| 277 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 278 | |
---|
| 279 | ## SA.controlsQ(?S:SA.standard, ?Priv:PA.std_ops) <- (SA.owner(?S)).controlsQ(?S, ?Priv) |
---|
| 280 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:owner([string:?S]).role:controlsQ([string:?S],[string:?Priv])" |
---|
| 281 | name=SA_ctrlsQ_qS_std_qPRIV_stdops__owners_qS_ctrlsQ_qS_qPRIV_stdops_attr.der |
---|
| 282 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 283 | |
---|
| 284 | ## SA.controlsQ(?S:SA.standard, ?Priv:PA.std_ops) <- SA.controlsQ_(?S, ?Priv) |
---|
| 285 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:controlsQ_([string:?S],[string:?Priv])" |
---|
| 286 | name=SA_ctrlsQ_qS_std_qPRIV_stdops__ctrlsQDel_qS_qPRIV_stdops_attr.der |
---|
| 287 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 288 | |
---|
| 289 | ## SA.controlsQ(?S:SA.standard, ?Priv:PA.std_ops) <- SA.controls(?S) |
---|
| 290 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:standard],[string:?Priv[keyid:$pa].oset:std_ops]) <- [keyid:$sa].role:controls([string:?S])" |
---|
| 291 | name=SA_ctrlsQ_qS_std_qPRIV_stdops__ctrls_qS_attr.der |
---|
| 292 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 293 | |
---|
| 294 | ## PA.createRoot <- PA.GeniPI |
---|
| 295 | attr="[keyid:$pa].role:createRoot <- [keyid:$pa].role:geniPI" |
---|
| 296 | name=PA_createRoot__geniPI_attr.der |
---|
| 297 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 298 | |
---|
| 299 | ## SA.createSlice(?P:SA.qualifiedProject) <- SA.geniUser & (SA.projectAuthority).memberQ(?P, "instantiate") |
---|
| 300 | attr="[keyid:$sa].role:createSlice([string:?P[keyid:$sa].oset:qualifiedProject]) <- [keyid:$sa].role:geniUser & [keyid:$sa].role:projectAuthority.role:memberQ([string:?P],[string:'instantiate'])" |
---|
| 301 | name=SA_createSlice_qP_qualProject__geniUser_projAthority_memberQ_instantiate_attr.der |
---|
| 302 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 303 | |
---|
| 304 | ## SA.controlsQ(?S:SA.inStdProject(?P), "info") <- (SA.projectAuthority).memberQ(?P, "info") |
---|
| 305 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:inStdProject([string:?P])],[string:'info']) <- [keyid:$sa].role:projectAuthority.role:memberQ([string:?P],[string:'info'])" |
---|
| 306 | name=SA_ctrlsQ_qS_inStdProj_qP_info__projAuthority_memberQ_qP_info_attr.der |
---|
| 307 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 308 | |
---|
| 309 | ## SA.controlsQ(?S:SA.inStdProject(?P), "stop") <- (SA.projectAuthority).owner(?P) |
---|
| 310 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:inStdProject([string:?P])], [string:'stop']) <- [keyid:$sa].role:projectAuthority.role:owner([string:?P])" |
---|
| 311 | name=SA_ctrlsQ_qS_inStdProject_qP_stop__projAuthority_owner_qP_attr.der |
---|
| 312 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 313 | |
---|
| 314 | ## SA.controlsQ(?S:SA.inStdProject(?P), "info") <- (SA.projectAuthority).owner(?P) |
---|
| 315 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:inStdProject([string:?P])], [string:'info']) <- [keyid:$sa].role:projectAuthority.role:owner([string:?P])" |
---|
| 316 | name=SA_ctrlsQ_qS_inStdProject_qP_info__projAuthority_owner_qP_attr.der |
---|
| 317 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 318 | |
---|
| 319 | ## SA.controlsQ(?S:SA.standard, "stop") <- SA.gmoc |
---|
| 320 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:standard], [string:'stop']) <- [keyid:$sa].role:gmoc" |
---|
| 321 | name=SA_ctrlsQ_qS_std_stop__gmoc_attr.der |
---|
| 322 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 323 | |
---|
| 324 | ## SA.controlsQ(?S:SA.standard, "info") <- SA.gmoc |
---|
| 325 | attr="[keyid:$sa].role:controlsQ([string:?S[keyid:$sa].oset:standard], [string:'info']) <- [keyid:$sa].role:gmoc" |
---|
| 326 | name=SA_ctrlsQ_qS_std_info__gmoc_attr.der |
---|
| 327 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 328 | |
---|
| 329 | ## SA.inStdProject(?P:PA.standard) <- SA.inProjet(?P) & SA.standard |
---|
| 330 | attr="[keyid:$sa].oset:inStdProject([string:?P[keyid:$pa].oset:standard]) <- [keyid:$sa].oset:inProject([string:?P]) & [keyid:$sa].oset:standard" |
---|
| 331 | name=SA_inStdProject_qP_std__inProject_qP_std_qP_attr.der |
---|
| 332 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 333 | |
---|
| 334 | ## SA.createSlice(?P:SA.qualifiedProject) <- SA.geniProxy & |
---|
| 335 | ## SA.speaksFor(?C:(SA.projectAuthority).memberQ(?P, "instantiate")) |
---|
| 336 | attr="[keyid:$sa].role:createSlice([string:?P[keyid:$sa].oset:qualifiedProject]) <- [keyid:$sa].role:geniProxy & [keyid:$sa].role:speaksFor([principal:?C[keyid:$sa].role:projectAuthority.role:memberQ([string:?P],[string:'instantiate'])])" |
---|
| 337 | name=SA_createSlice_qP_qualProject__geniProxy_speaksFor_qC_projAuthority_memberQ_qP_instantiate_attr.der |
---|
| 338 | creddy --attrnow --string "$attr" --out $name --out_prolog $pname --namespace $namespace |
---|
| 339 | |
---|
| 340 | |
---|