rm -rf creds_dump

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

alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`

bob_prin="[keyid:$bob]"

access_fileA="[keyid:$alpha].role:access([string:'read'],[urn:'file//fileA'])"
team_proj2="[keyid:$alpha].role:team([string:'proj2'])"
bob_prin="[keyid:$bob]"
joe_prin="[keyid:$joe]"

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

#[keyid:Alpha].role:access([string:'read'],[urn:'file//fileA']) <-?- [keyid:bob] (yes)
echo "===good============ Alpha.access(read,fileA)<-?-Bob  yap "
$eloc/abac_prover_yap  --keystore $keyloc --role "$access_fileA" --principal "$bob_prin"

echo "===bad============ Alpha.access(read,fileA)<-?-Joe  yap "
$eloc/abac_prover_yap  --keystore $keyloc --role "$access_fileA" --principal "$joe_prin"

echo "===good============ Alpha.team(proj2)<-?-Joe  yap "
#[keyid:alpha].oset:team([string:'proj2'])<-[keyid:Joe]
eloc/abac_prover_yap  --keystore $keyloc --role "$team_proj2" --principal "$joe_prin"