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 | |
---|