source: examples/experiment_create_rt0_typed/rr @ e88c95b

rm -rf creds_dump

eloc=/home/mei/Deter/abac/libabac
keyloc=/home/mei/Deter/abac/examples/experiment_create_rt0_typed

acme=`creddy --keyid --cert $keyloc/Acme_ID.pem`
alice=`creddy --keyid --cert $keyloc/Alice_ID.pem`
bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
globotron=`creddy --keyid --cert $keyloc/Globotron_ID.pem`

glob_admin="[keyid:$globotron].role:admin"
alice_prin="[keyid:$alice]"
bob_prin="[keyid:$bob]"
experiment_create="[keyid:$acme].role:experiment_create"

## dump all credentials
$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump

#[keyid:Globotron].role:admin <-?- [keyid:Alice] yap
#isMember(pAlice, role(pGlobotron,admin), C).
echo " "
echo "===good=============== Globotron.admin <- Alice yap "
$eloc/abac_prover_yap  --keystore $keyloc \
             --role "$glob_admin" --principal "$alice_prin"

#[keyid:Globotron].role:admin <-?- [keyid:Bob] yap
#isMember(pBob, role(pGlobotron,admin), C).
echo " "
echo "===bad=============== Globotron.admin <- Bob yap "
$eloc/abac_prover_yap  --keystore $keyloc \
             --role "$glob_admin" --principal "$bob_prin"

#[keyid:Acme].role:experiment_create <-?- [keyid:Bob] yap
#isMember(pBob, role(pAcme,experiment_create), C).
echo " "
echo "===good=============== Acme.experiment_create <- Bob yap "
$eloc/abac_prover_yap  --keystore $keyloc \
             --role "$experiment_create" --principal "$bob_prin"