source: examples/alice_rt1_typed/rr @ e88c95b

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since e88c95b was da5afdf, checked in by Mei <mei@…>, 12 years ago

1) add static contraint

(limited to integer at this time)

  • Property mode set to 100755
File size: 997 bytes
Line 
1
2rm -rf creds_dump
3
4eloc=/home/mei/Deter/abac/libabac
5keyloc=/home/mei/Deter/abac/examples/alice_rt1_typed
6
7alice=`creddy --keyid --cert Alice_ID.pem`
8party=`creddy --keyid --cert Party_ID.pem`
9tea=`creddy --keyid --cert Tea_ID.pem`
10hatter=`creddy --keyid --cert Hatter_ID.pem`
11marchhare=`creddy --keyid --cert MarchHare_ID.pem`
12dormouse=`creddy --keyid --cert Dormouse_ID.pem`
13
14party_guests="[keyid:$party].role:guests"
15dormouse_prin="[keyid:$dormouse]"
16hatter_prin="[keyid:$hatter]"
17
18## dump all credentials
19$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
20
21#[keyid:Party].role:guests <-?- [keyid:dormouse] yap
22echo "  "
23echo "===good============ Party.guests <- dourmouse yap "
24$eloc/abac_prover_yap  --keystore $keyloc --role "$party_guests" --principal "$dormouse_prin"
25
26#[keyid:Party].role:guests <-?- [keyid:hatter] yap
27#echo "  "
28#echo "===bad============ Party.guests <- hatter yap "
29#$eloc/abac_prover_yap  --keystore $keyloc --role "$party_guests" --principal "$hatter_prin"
Note: See TracBrowser for help on using the repository browser.