source: examples/alice_rt1_typed/rr @ 5aaeca3

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 5aaeca3 was 0d0c3a9, checked in by Mei <mei@…>, 13 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
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/alice_rt1_typed
9keyloc=$pwd
10
11alice=`creddy --keyid --cert Alice_ID.pem`
12party=`creddy --keyid --cert Party_ID.pem`
13tea=`creddy --keyid --cert Tea_ID.pem`
14hatter=`creddy --keyid --cert Hatter_ID.pem`
15marchhare=`creddy --keyid --cert MarchHare_ID.pem`
16dormouse=`creddy --keyid --cert Dormouse_ID.pem`
17
18party_guests="[keyid:$party].role:guests"
19dormouse_prin="[keyid:$dormouse]"
20hatter_prin="[keyid:$hatter]"
21
22## dump all credentials
23$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
24
25#[keyid:Party].role:guests <-?- [keyid:dormouse] yap
26echo "  "
27echo "===good============ Party.guests <- dourmouse yap "
28$eloc/abac_prover_yap  --keystore $keyloc --role "$party_guests" --principal "$dormouse_prin"
29
30#[keyid:Party].role:guests <-?- [keyid:hatter] yap
31echo "  "
32echo "===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.