source: examples/example_scripts/python/run_prover @ d0efdec

mei_rt2
Last change on this file since d0efdec was bea18ef, checked in by Mei <mei@…>, 12 years ago

1) add more tiny prover tests in examples/example_scripts
2) reverted the changes to ABAC_VERSION in libabac's abac_util.c

  • Property mode set to 100755
File size: 288 bytes
Line 
1#!/bin/sh
2
3keystore=`pwd`
4pID=`creddy --keyid --cert ${keystore}/IceCream_ID.pem`
5cID=`creddy --keyid --cert ${keystore}/Chocolate_ID.pem`
6
7role="[keyid:${pID}].role:delicious"
8principal="[keyid:${cID}]"
9
10./abac_prover.py --keystore "$keystore" --role "$role" --principal "$principal"
11
12
13
Note: See TracBrowser for help on using the repository browser.