mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change
on this file since c586a3c was
0d0c3a9,
checked in by Mei <mei@…>, 12 years ago
|
1) adding missing extern forward declarations that is causing
freeBSD compiled prover to coredump
|
-
Property mode set to
100755
|
File size:
1.0 KB
|
Rev | Line | |
---|
[da5afdf] | 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/alice_rt1_typed |
---|
| 9 | keyloc=$pwd |
---|
[a9494ad] | 10 | |
---|
| 11 | alice=`creddy --keyid --cert Alice_ID.pem` |
---|
| 12 | party=`creddy --keyid --cert Party_ID.pem` |
---|
| 13 | tea=`creddy --keyid --cert Tea_ID.pem` |
---|
| 14 | hatter=`creddy --keyid --cert Hatter_ID.pem` |
---|
| 15 | marchhare=`creddy --keyid --cert MarchHare_ID.pem` |
---|
| 16 | dormouse=`creddy --keyid --cert Dormouse_ID.pem` |
---|
| 17 | |
---|
[da5afdf] | 18 | party_guests="[keyid:$party].role:guests" |
---|
| 19 | dormouse_prin="[keyid:$dormouse]" |
---|
| 20 | hatter_prin="[keyid:$hatter]" |
---|
| 21 | |
---|
| 22 | ## dump all credentials |
---|
| 23 | $eloc/abac_prover_yap --keystore $keyloc --dump creds_dump |
---|
| 24 | |
---|
[a9494ad] | 25 | #[keyid:Party].role:guests <-?- [keyid:dormouse] yap |
---|
| 26 | echo " " |
---|
| 27 | echo "===good============ Party.guests <- dourmouse yap " |
---|
[da5afdf] | 28 | $eloc/abac_prover_yap --keystore $keyloc --role "$party_guests" --principal "$dormouse_prin" |
---|
[a9494ad] | 29 | |
---|
| 30 | #[keyid:Party].role:guests <-?- [keyid:hatter] yap |
---|
[0d0c3a9] | 31 | echo " " |
---|
| 32 | echo "===bad============ Party.guests <- hatter yap " |
---|
| 33 | $eloc/abac_prover_yap --keystore $keyloc --role "$party_guests" --principal "$hatter_prin" |
---|
Note: See
TracBrowser
for help on using the repository browser.