#!/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.pl --keystore="$keystore" --role="$role" --principal="$principal"