source: examples/alumni_rt1_typed/rr @ 36b100a

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 36b100a was 36b100a, checked in by Mei <mei@…>, 12 years ago

1) fix up fruits_rt2_typed example to test different types of strings

as oset term

2) fix the abac_pl_yap.c's _abac_yap_query so the first term if given

a literal string will use ReadBuffer? instead of MkAtomTerm?
  • Property mode set to 100755
File size: 1.2 KB
Line 
1rm -rf creds_dump
2
3pwd=`pwd`
4
5#eloc=/home/mei/Deter/abac/libabac
6eloc=$pwd/../../libabac
7#keyloc=/home/mei/Deter/abac/examples/alumni_rt1_typed
8keyloc=$pwd
9
10stateU=`creddy --keyid --cert $keyloc/StateU_ID.pem`
11bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
12maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
13joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
14
15stateU_foundingAlumni="[keyid:$stateU].role:foundingAlumni"
16bob_prin="[keyid:$bob]"
17maryann_prin="[keyid:$maryann]"
18joe_prin="[keyid:$joe]"
19
20# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (no)
21# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
22
23## dump all credentials
24$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
25
26# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (yes)
27echo " "
28echo "===bad============ stateU.foundingAlumni <- Bob yap "
29$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$bob_prin"
30
31# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
32# asking, isMember(pMaryann,role(pStateU,foundingAlumni),C).
33echo " "
34echo "===good============ stateU.foundingAlumni <- Maryann yap "
35$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin"
36
37
Note: See TracBrowser for help on using the repository browser.