source: examples/example_scripts/c/run_prover @ 880e924

mei_rt2mei_rt2_fix_1
Last change on this file since 880e924 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: 255 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 "$keystore" "$role" "$principal"
11
12
13
Note: See TracBrowser for help on using the repository browser.