Context Navigation

run_query @ a0c1772

mei_rt2mei_rt2_fix_1

Last change on this file since a0c1772 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

File size: 1.0 KB

Line
1
2	# raise_rt1_typed
3
4	pwd=`pwd`
5
6	eloc=${ABAC_PROVER_PATH}
7	keyloc=$pwd
8
9	alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
10
11	bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
12	maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
13	joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
14
15	alpha_payRaise="[keyid:$alpha].role:payRaise"
16
17	bob_prin="[keyid:$bob]"
18	maryann_prin="[keyid:$maryann]"
19	joe_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)
29	echo " "
30	echo "===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)
34	echo " "
35	echo "===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.