source: examples/file_read_rt2_typed/rr @ da5afdf

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

1) added oset handling
2) add dynamic constraints

  • Property mode set to 100755
File size: 985 bytes
Line 
1
2rm -rf creds_dump
3
4eloc=/home/mei/Deter/abac/libabac
5keyloc=/home/mei/Deter/abac/examples/file_read_rt2_typed
6
7alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
8bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
9maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
10alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
11
12read_fileA="[keyid:$alpha].role:read([urn:'file://fileA'])"
13bob_prin="[keyid:$bob]"
14maryann_prin="[keyid:$maryann]"
15
16## dump all credentials -- does not seem to work
17#$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
18
19#[keyid:Alpha].role:read([urn:'file://fileA']) <-?- [keyid:Bob] (yes)
20echo "===good============ alpha.read(fileA) <- Bob yap "
21$eloc/abac_prover_yap  --keystore $keyloc --role "$read_fileA" --principal "$bob_prin"
22
23#[keyid:Alpha].role:read([urn:'file://fileA']) <-?- [keyid:Maryann] (no)
24echo "===bad============ alpha.read(fileA) <- Maryann yap "
25$eloc/abac_prover_yap  --keystore $keyloc --role "$read_fileA" --principal "$maryann_prin"
26
Note: See TracBrowser for help on using the repository browser.