Context Navigation

rr @ d5bbd3e

mei_rt2mei_rt2_fix_1meiyap-rt1rt2

Last change on this file since d5bbd3e was 36b100a, checked in by Mei <mei@…>, 12 years ago

1) fix up fruits_rt2_typed example to test different types of strings

as oset term

2) fix the abac_pl_yap.c's _abac_yap_query so the first term if given

a literal string will use ReadBuffer? instead of MkAtomTerm?

File size: 1.0 KB

Rev	Line
[10e1588]	1
	2	rm -rf creds_dump
	3
[c469edf]	4	pwd=`pwd`
	5
	6	#eloc=/home/mei/Deter/abac/libabac
	7	eloc=$pwd/../../libabac
	8	#keyloc=/home/mei/Deter/abac/examples/file_read_rt2_typed
	9	keyloc=$pwd
[10e1588]	10
	11	alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
	12	bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
	13	maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
	14	alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
	15
	16	read_fileA="[keyid:$alpha].role:read([urn:'file://fileA'])"
	17	bob_prin="[keyid:$bob]"
	18	maryann_prin="[keyid:$maryann]"
	19
	20	## dump all credentials -- does not seem to work
[e88c95b]	21	$eloc/abac_prover_yap --keystore $keyloc --dump creds_dump
[10e1588]	22
	23	#[keyid:Alpha].role:read([urn:'file://fileA']) <-?- [keyid:Bob] (yes)
[36b100a]	24	echo " "
[10e1588]	25	echo "===good============ alpha.read(fileA) <- Bob yap "
	26	$eloc/abac_prover_yap --keystore $keyloc --role "$read_fileA" --principal "$bob_prin"
	27
	28	#[keyid:Alpha].role:read([urn:'file://fileA']) <-?- [keyid:Maryann] (no)
[36b100a]	29	echo " "
[10e1588]	30	echo "===bad============ alpha.read(fileA) <- Maryann yap "
	31	$eloc/abac_prover_yap --keystore $keyloc --role "$read_fileA" --principal "$maryann_prin"
	32

Note: See TracBrowser for help on using the repository browser.