source: examples/evaluator_rt1_typed/rr @ da5afdf

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since da5afdf 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: 1.2 KB
Line 
1
2rm -rf creds_dump
3
4eloc=/home/mei/Deter/abac/libabac
5keyloc=/home/mei/Deter/abac/examples/evaluator_rt1_typed
6
7isi=`creddy --keyid --cert ISI_ID.pem`
8usc=`creddy --keyid --cert USC_ID.pem`
9maryann=`creddy --keyid --cert Maryann_ID.pem`
10john=`creddy --keyid --cert John_ID.pem`
11
12usc_employee="[keyid:$usc].role:employee"
13usc_eval_maryann="[keyid:$usc].role:evaluatorOf([keyid:$maryann])"
14isi_manager_maryann="[keyid:$isi].role:managerOf([keyid:$maryann])"
15john_prin="[keyid:$john]"
16
17## dump all credentials
18$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
19
20#[keyid:USC].role:evaluatorOf([keyid:Maryann]) <-?- [keyid:John] yap
21echo "===good============ USC.evaluatorOf(Maryann) <- John yap "
22$eloc/abac_prover_yap  --keystore $keyloc --role "$usc_eval_maryann" --principal "$john_prin"
23
24#[keyid:ISI].role:managerOf([keyid:Maryann]) <-?- [keyid:John] yap
25echo "===good============ USC.evaluatorOf(Maryann) <- John yap "
26$eloc/abac_prover_yap  --keystore $keyloc --role "$isi_manager_maryann" --principal "$john_prin"
27
28
29#[keyid:USC].role:employee <- [keyid:John] yap "
30#USC.employee <-?- John yap
31echo "===good============  USC.employee <-?- John yap  "
32$eloc/abac_prover_yap  --keystore $keyloc --role "$usc_employee" --principal "$john_prin"
33
34
Note: See TracBrowser for help on using the repository browser.