#!/bin/sh

#===bad============ Alpha.access(Read,fileA)<-?-Joe
#===good============ Alpha.access(Read,fileA)<-?-Bob
#param1=ABAC.DataTerm("string", "'Read'")
#param2=ABAC.DataTerm("urn","'file//fileA'")

keystore=`pwd`
pID=`creddy --keyid --cert ${keystore}/Alpha_ID.pem`
cID=`creddy --keyid --cert ${keystore}/Joe_ID.pem`
bID=`creddy --keyid --cert ${keystore}/Bob_ID.pem`

role="[keyid:${pID}].role:access([string:'Read'],[urn:'file//fileA'])"
principal="[keyid:${cID}]"

env ABAC_CN=1 ../../example_scripts/c/abac_prover "$keystore" "$role" "$principal"

#echo "$keystore" "$role" "$principal"
#gdb ../../example_scripts/c/abac_prover



