#!/bin/sh keystore=`pwd` pID=`creddy --keyid --cert ${keystore}/IceCream_ID.pem` cID=`creddy --keyid --cert ${keystore}/Chocolate_ID.pem` role="[keyid:${pID}].role:delicious" principal="[keyid:${cID}]" ./abac_prover "$keystore" "$role" "$principal" #echo "$keystore" "$role" "$principal" #gdb ./abac_prover