rm -rf creds_dump

pwd=`pwd`

#eloc=/home/mei/Deter/abac/libabac
eloc=$pwd/../../libabac
#keyloc=/home/mei/Deter/abac/examples/alice_rt1_typed
keyloc=$pwd

alice=`creddy --keyid --cert Alice_ID.pem`
party=`creddy --keyid --cert Party_ID.pem`
tea=`creddy --keyid --cert Tea_ID.pem`
hatter=`creddy --keyid --cert Hatter_ID.pem`
marchhare=`creddy --keyid --cert MarchHare_ID.pem`
dormouse=`creddy --keyid --cert Dormouse_ID.pem`

party_guests="[keyid:$party].role:guests"
dormouse_prin="[keyid:$dormouse]"
hatter_prin="[keyid:$hatter]"

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

#[keyid:Party].role:guests <-?- [keyid:dormouse] yap
echo "  "
echo "===good============ Party.guests <- dourmouse yap "
$eloc/abac_prover_yap  --keystore $keyloc --role "$party_guests" --principal "$dormouse_prin"

#[keyid:Party].role:guests <-?- [keyid:hatter] yap
echo "  "
echo "===bad============ Party.guests <- hatter yap "
$eloc/abac_prover_yap  --keystore $keyloc --role "$party_guests" --principal "$hatter_prin"