source: examples/creddy_prover_tests/file_read_rt2/run_query @ 8de54ab

mei_rt2mei_rt2_fix_1
Last change on this file since 8de54ab 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.0 KB
RevLine 
[10e1588]1
[9502c50]2# file_read_rt2_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
12alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
13bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
14maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
15alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
16
17read_fileA="[keyid:$alpha].role:read([urn:'file://fileA'])"
18bob_prin="[keyid:$bob]"
19maryann_prin="[keyid:$maryann]"
20
[9502c50]21## dump all credentials --
[e88c95b]22$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
[10e1588]23
24#[keyid:Alpha].role:read([urn:'file://fileA']) <-?- [keyid:Bob] (yes)
[36b100a]25echo " "
[9502c50]26echo "===good============ alpha.read(fileA) <- Bob"
[10e1588]27$eloc/abac_prover_yap  --keystore $keyloc --role "$read_fileA" --principal "$bob_prin"
28
29#[keyid:Alpha].role:read([urn:'file://fileA']) <-?- [keyid:Maryann] (no)
[36b100a]30echo " "
[9502c50]31echo "===bad============ alpha.read(fileA) <- Maryann"
[10e1588]32$eloc/abac_prover_yap  --keystore $keyloc --role "$read_fileA" --principal "$maryann_prin"
33
Note: See TracBrowser for help on using the repository browser.