[2e9455f] | 1 | #!/bin/sh |
---|
| 2 | |
---|
| 3 | # geni s5_run_query |
---|
| 4 | # using aba_prover_yap |
---|
| 5 | |
---|
| 6 | echo "=====================s5_run_query==================" |
---|
| 7 | |
---|
| 8 | pwd=`pwd` |
---|
| 9 | |
---|
| 10 | eloc=`which abac_prover_yap | sed 's/\/abac_prover_yap//'` |
---|
| 11 | if [ "$eloc" = "" ]; then |
---|
| 12 | echo "ERROR: abac_prover_yap is not in the search path!!!" |
---|
| 13 | exit 1 |
---|
| 14 | fi |
---|
| 15 | |
---|
| 16 | keyloc=$pwd |
---|
| 17 | |
---|
| 18 | g=`creddy --keyid --cert $keyloc/G_ID.pem` |
---|
| 19 | pa=`creddy --keyid --cert $keyloc/PA_ID.pem` |
---|
| 20 | sa=`creddy --keyid --cert $keyloc/SA_ID.pem` |
---|
| 21 | |
---|
| 22 | drd=`creddy --keyid --cert $keyloc/Drd_ID.pem` |
---|
| 23 | frank=`creddy --keyid --cert $keyloc/Frank_ID.pem` |
---|
| 24 | dan=`creddy --keyid --cert $keyloc/Dan_ID.pem` |
---|
| 25 | lisa=`creddy --keyid --cert $keyloc/Lisa_ID.pem` |
---|
| 26 | john=`creddy --keyid --cert $keyloc/John_ID.pem` |
---|
| 27 | joe=`creddy --keyid --cert $keyloc/Joe_ID.pem` |
---|
| 28 | tim=`creddy --keyid --cert $keyloc/Tim_ID.pem` |
---|
| 29 | james=`creddy --keyid --cert $keyloc/James_ID.pem` |
---|
| 30 | |
---|
| 31 | ## dump all credentials |
---|
| 32 | env ABAC_CN=1 $eloc/abac_prover_yap --keystore $keyloc --dump s5_creds_dump |
---|
| 33 | |
---|
| 34 | # runMember John $john what good bad |
---|
| 35 | runMember() { |
---|
| 36 | id=$2 |
---|
| 37 | what="'$3'" |
---|
| 38 | role="[keyid:$sa].role:controlsQ_([string:'sliceA'],[string:$what])" |
---|
| 39 | prin="[keyid:$id]" |
---|
| 40 | echo " " |
---|
| 41 | echo "===$4============ PA.controlsQ_("sliceA",$what)<-?-$1" |
---|
| 42 | $eloc/abac_prover_yap --keystore $keyloc --role "$role" --principal "$prin" |
---|
| 43 | |
---|
| 44 | role="[keyid:$sa].role:controlsQ([string:'sliceA'],[string:$what])" |
---|
| 45 | prin="[keyid:$id]" |
---|
| 46 | echo " " |
---|
| 47 | echo "===$5============ PA.controlsQ("sliceA",$what)<-?-$1" |
---|
| 48 | $eloc/abac_prover_yap --keystore $keyloc --role "$role" --principal "$prin" |
---|
| 49 | } |
---|
| 50 | |
---|
| 51 | |
---|
| 52 | runMember Dan $dan 'info' bad good |
---|
| 53 | runMember Dan $dan 'stop' bad good |
---|
| 54 | runMember Frank $frank 'info' good good |
---|
| 55 | runMember Frank $frank 'stop' good good |
---|
| 56 | runMember James $james 'info' bad good |
---|
| 57 | runMember James $james 'stop' bad good |
---|
| 58 | runMember Lisa $lisa 'info' bad good |
---|
| 59 | runMember Lisa $lisa 'stop' good good |
---|
| 60 | runMember Tim $tim 'info' good good |
---|
| 61 | runMember Tim $tim 'stop' good good |
---|
| 62 | |
---|
| 63 | ## special case, |
---|
| 64 | role="[keyid:$john].role:controlsQ([string:'sliceB'],[string:'info'])" |
---|
| 65 | prin="[keyid:$joe]" |
---|
| 66 | echo " " |
---|
| 67 | echo "===good============ John.controlsQ("sliceB","info")<-?-$ Joe" |
---|
| 68 | $eloc/abac_prover_yap --keystore $keyloc --role "$role" --principal "$prin" |
---|
| 69 | |
---|
| 70 | |
---|
| 71 | echo "\n\n" |
---|
| 72 | |
---|
| 73 | |
---|