mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
Last change
on this file since da5afdf was
da5afdf,
checked in by Mei <mei@…>, 13 years ago
|
|
1) add static contraint
(limited to integer at this time)
|
-
Property mode set to
100755
|
|
File size:
1.1 KB
|
| Line | |
|---|
| 1 | rm -rf creds_dump |
|---|
| 2 | |
|---|
| 3 | eloc=/home/mei/Deter/abac/libabac |
|---|
| 4 | keyloc=/home/mei/Deter/abac/examples/alumni_rt1_typed |
|---|
| 5 | |
|---|
| 6 | stateU=`creddy --keyid --cert $keyloc/StateU_ID.pem` |
|---|
| 7 | bob=`creddy --keyid --cert $keyloc/Bob_ID.pem` |
|---|
| 8 | maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem` |
|---|
| 9 | joe=`creddy --keyid --cert $keyloc/Joe_ID.pem` |
|---|
| 10 | |
|---|
| 11 | stateU_foundingAlumni="[keyid:$stateU].role:foundingAlumni" |
|---|
| 12 | bob_prin="[keyid:$bob]" |
|---|
| 13 | maryann_prin="[keyid:$maryann]" |
|---|
| 14 | joe_prin="[keyid:$joe]" |
|---|
| 15 | |
|---|
| 16 | # [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (no) |
|---|
| 17 | # [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes) |
|---|
| 18 | |
|---|
| 19 | ## dump all credentials |
|---|
| 20 | #$ELOc/abac_prover_yap --keystore $keyloc --dump creds_dump |
|---|
| 21 | |
|---|
| 22 | # [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (yes) |
|---|
| 23 | echo "===bad============ stateU.foundingAlumni <- Bob yap " |
|---|
| 24 | $eloc/abac_prover_yap --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$bob_prin" |
|---|
| 25 | |
|---|
| 26 | # [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes) |
|---|
| 27 | # asking, isMember(pMaryann,role(pStateU,foundingAlumni),C). |
|---|
| 28 | #echo "===good============ stateU.foundingAlumni <- Maryann yap " |
|---|
| 29 | $eloc/abac_prover_yap --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin" |
|---|
| 30 | |
|---|
| 31 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
