source: examples/creddy_prover_tests/alumni_rt1/run_query @ 08b8da7

mei_rt2mei_rt2_fix_1
Last change on this file since 08b8da7 was 08b8da7, checked in by Mei <mei@…>, 12 years ago

1) rework examples directory with Makefile
2) update scaling with plotting scripts
3) add more doc in there

  • Property mode set to 100755
File size: 1.5 KB
RevLine 
[9502c50]1
2# alumni_rt1_typed
[10e1588]3
[c469edf]4pwd=`pwd`
[08b8da7]5eloc=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
6if [ "$eloc" = "" ]; then
7  echo "ERROR: abac_prover_yap is not in the search path!!!"
8  exit 1
9fi
[c469edf]10keyloc=$pwd
[10e1588]11
12stateU=`creddy --keyid --cert $keyloc/StateU_ID.pem`
13bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
14maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
15joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
16
[da5afdf]17stateU_foundingAlumni="[keyid:$stateU].role:foundingAlumni"
[10e1588]18bob_prin="[keyid:$bob]"
19maryann_prin="[keyid:$maryann]"
20joe_prin="[keyid:$joe]"
21
22# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (no)
23# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
24
25## dump all credentials
[e88c95b]26$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
[10e1588]27
[d5bbd3e]28# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (no)
[36b100a]29echo " "
[9502c50]30echo "===bad============ stateU.foundingAlumni <- Bob"
[10e1588]31$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$bob_prin"
32
33# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
[da5afdf]34# asking, isMember(pMaryann,role(pStateU,foundingAlumni),C).
[36b100a]35echo " "
[9502c50]36echo "===good============ stateU.foundingAlumni <- Maryann"
[10e1588]37$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin"
38
39
[7b548fa]40# [keyid:stateU].role:foundingAlumni <-?- [keyid:Joe] (yes)
[2c01913]41echo " "
[9502c50]42echo "===good============ stateU.foundingAlumni <- Joe"
[2c01913]43$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$joe_prin"
44
Note: See TracBrowser for help on using the repository browser.