source: examples/creddy_prover_tests/payraise_rt1/run_query @ 549656e

mei_rt2mei_rt2_fix_1
Last change on this file since 549656e was 2efdff5, checked in by Mei <mei@…>, 12 years ago

1) fix the missing check for 'This' rt2.y when called from creddy/prover

combo

2) patch up the stringify of abac_term that is of time type.
3) update the testing to reflect the changes to baseline output

  • Property mode set to 100755
File size: 1.0 KB
Line 
1
2# raise_rt1_typed
3
4pwd=`pwd`
5
6eloc=${ABAC_PROVER_PATH}
7keyloc=$pwd
8
9alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
10
11bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
12maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
13joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
14
15alpha_payRaise="[keyid:$alpha].role:payRaise"
16
17bob_prin="[keyid:$bob]"
18maryann_prin="[keyid:$maryann]"
19joe_prin="[keyid:$joe]"
20
21# [keyid:alpha].role:payRaise <-?- [keyid:Maryann] (yes)
22# [keyid:alpha].role:payRaise <-?- [keyid:Joe] (yes)
23
24## dump all credentials
25$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
26#$eloc/abac_prover_yap  --keystore $keyloc --dbdump
27
28# [keyid:alpha].role:payRaise <-?- [keyid:Joe] (no)
29echo " "
30echo "===bad============ alpha.payRaise <- Joe"
31$eloc/abac_prover_yap  --keystore $keyloc --role "$alpha_payRaise" --principal "$joe_prin"
32
33# [keyid:alpha].role:payRaise <-?- [keyid:Maryann] (yes)
34echo " "
35echo "===good============ alpha.payRaise <- Maryann"
36$eloc/abac_prover_yap  --keystore $keyloc --role "$alpha_payRaise" --principal "$maryann_prin"
37
38
Note: See TracBrowser for help on using the repository browser.