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

Rev	Line
[9335cfa]	1
	2	# raise_rt1_typed
	3
	4	pwd=`pwd`
	5
[5110d42]	6	eloc=${ABAC_PROVER_PATH}
[9335cfa]	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
[2efdff5]	26	#$eloc/abac_prover_yap --keystore $keyloc --dbdump
[9335cfa]	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.