source: examples/creddy_prover_tests/acme_rockets_intersection_rt0/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.8 KB
Line 
1
2# acme_rockets_intersection_rt0_typed
3
4pwd=`pwd`
5
6eloc=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
7if [ "$eloc" = "" ]; then
8  echo "ERROR: abac_prover_yap is not in the search path!!!"
9  exit 1
10fi
11keyloc=$pwd
12
13acme=`creddy --keyid --cert $keyloc/Acme_ID.pem`
14batman=`creddy --keyid --cert $keyloc/Batman_ID.pem`
15coyote=`creddy --keyid --cert $keyloc/Coyote_ID.pem`
16
17buy_rockets="[keyid:$acme].role:buy_rockets"
18coyote_prin="[keyid:$coyote]"
19batman_prin="[keyid:$batman]"
20bad_buy_rockets="[keyid:$acme].role:bad_buy_rockets"
21bad_buy_rockets2="[keyid:99$acme].role:buy_rockets"
22
23## dump all credentials
24$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
25
26#[keyid:Acme].role:buy_rockets <-?- [keyid:Coyote]
27#isMember(pCoyote, role(pAcme,buy_rockets), C).
28echo "  "
29echo "===good============ Acme.buy_rockets <- Coyote"
30$eloc/abac_prover_yap  --keystore $keyloc \
31              --role "$buy_rockets" --principal "$coyote_prin"
32
33#[keyid:Acme].role:bad_buy_rockets <-?- [keyid:Coyote]
34#isMember(pCoyote, role(pAcme,bad_buy_rockets), C).
35echo "  "
36echo "===bad============ Acme.bad_buy_rockets <- Coyote"
37$eloc/abac_prover_yap  --keystore $keyloc \
38              --role "$bad_buy_rockets" --principal "$coyote_prin"
39
40#[keyid:Acme99].role:buy_rockets <-?- [keyid:Coyote]
41#isMember(pCoyote99, role(99pAcme,buy_rockets), C).
42echo "  "
43echo "===bad============ 99Acme.buy_rockets <- Coyote"
44$eloc/abac_prover_yap  --keystore $keyloc \
45              --role "$bad_buy_rockets2" --principal "$coyote_prin"
46
47#Acme.buy_rockets <-?- Batman
48#[keyid:Acme].role:buy_rockets <-?- [keyid:Batman]
49#isMember(pBatman, role(pAcme,buy_rockets), C).
50echo "  "
51echo "===bad=============== Acme.buy_rockets <- Batman"
52$eloc/abac_prover_yap  --keystore $keyloc \
53              --role "$buy_rockets" --principal "$batman_prin"
54
55
Note: See TracBrowser for help on using the repository browser.