mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change
on this file since 8c45663 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.2 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/access_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 | joe=`creddy --keyid --cert $keyloc/Joe_ID.pem` |
---|
| 14 | |
---|
| 15 | bob_prin="[keyid:$bob]" |
---|
| 16 | |
---|
| 17 | access_fileA="[keyid:$alpha].role:access([string:'read'],[urn:'file//fileA'])" |
---|
| 18 | team_proj2="[keyid:$alpha].role:team([string:'proj2'])" |
---|
| 19 | bob_prin="[keyid:$bob]" |
---|
| 20 | joe_prin="[keyid:$joe]" |
---|
| 21 | |
---|
| 22 | ## dump all credentials -- does not work |
---|
[e88c95b] | 23 | $eloc/abac_prover_yap --keystore $keyloc --dump creds_dump |
---|
[10e1588] | 24 | |
---|
| 25 | #[keyid:Alpha].role:access([string:'read'],[urn:'file//fileA']) <-?- [keyid:bob] (yes) |
---|
[36b100a] | 26 | echo " " |
---|
[10e1588] | 27 | echo "===good============ Alpha.access(read,fileA)<-?-Bob yap " |
---|
| 28 | $eloc/abac_prover_yap --keystore $keyloc --role "$access_fileA" --principal "$bob_prin" |
---|
| 29 | |
---|
[36b100a] | 30 | echo " " |
---|
[10e1588] | 31 | echo "===bad============ Alpha.access(read,fileA)<-?-Joe yap " |
---|
| 32 | $eloc/abac_prover_yap --keystore $keyloc --role "$access_fileA" --principal "$joe_prin" |
---|
| 33 | |
---|
[36b100a] | 34 | echo " " |
---|
[10e1588] | 35 | echo "===good============ Alpha.team(proj2)<-?-Joe yap " |
---|
| 36 | #[keyid:alpha].oset:team([string:'proj2'])<-[keyid:Joe] |
---|
[e88c95b] | 37 | $eloc/abac_prover_yap --keystore $keyloc --role "$team_proj2" --principal "$joe_prin" |
---|
[10e1588] | 38 | |
---|
Note: See
TracBrowser
for help on using the repository browser.