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

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`

#[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

#[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