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