source: examples/file_read_rt2_typed/rr @ 9806e76

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 9806e76 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?

  • Property mode set to 100755
File size: 1.0 KB
Line 
1
2rm -rf creds_dump
3
4pwd=`pwd`
5
6#eloc=/home/mei/Deter/abac/libabac
7eloc=$pwd/../../libabac
8#keyloc=/home/mei/Deter/abac/examples/file_read_rt2_typed
9keyloc=$pwd
10
11alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
12bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
13maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
14alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
15
16read_fileA="[keyid:$alpha].role:read([urn:'file://fileA'])"
17bob_prin="[keyid:$bob]"
18maryann_prin="[keyid:$maryann]"
19
20## dump all credentials -- does not seem to work
21$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
22
23#[keyid:Alpha].role:read([urn:'file://fileA']) <-?- [keyid:Bob] (yes)
24echo " "
25echo "===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)
29echo " "
30echo "===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.