source: tests/creddy_prover_tests/ice_cream_rt0/run_query @ 4423f47

abac0-leakabac0-meimei-idtvf-new-xml
Last change on this file since 4423f47 was ec550f7, checked in by Mei <mei@…>, 11 years ago

1) reworked how API doc is generated
2) tweak top level Makefile.am
3) loading issuer principal as side-effect of loading

an attribute credentials

4) add examples of GENI specific attribute credentials

and principal certificates into the regression testing

5) rename examples to tests

  • Property mode set to 100755
File size: 605 bytes
Line 
1#!/bin/sh
2
3pwd=`pwd`
4eloc=`which abac_prover | sed 's/\/abac_prover//'`
5if [ "$eloc" = "" ]; then
6  echo "ERROR: abac_prover is not in the search path!!!"
7  exit 1
8fi
9
10keyloc=$pwd
11
12ice=`creddy --keyid --cert $keyloc/IceCream_ID.pem`
13chocolate_prin=`creddy --keyid --cert $keyloc/Chocolate_ID.pem`
14
15delicious="$ice.delicious"
16
17#[keyid:Acme].role:preferred_customer <-?- [keyid:Coyote]
18#isMember(pCoyote, role(pAcme,preferred_customer), C).
19echo "  "
20echo "===good============ IceCream.delicious <- Chocolate"
21$eloc/abac_prover  --keystore $keyloc \
22      --role "$delicious" --principal "$chocolate_prin"
23
Note: See TracBrowser for help on using the repository browser.