source: examples/file_read_rt2_typed/d @ 10e1588

mei_rt2mei_rt2_fix_1meiyap-rt1rt2 rt2-01
Last change on this file since 10e1588 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: 519 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].oset:read([urn:'file://fileA'])"
13bob_prin="[keyid:$bob]"
14maryann_prin="[keyid:$maryann]"
15
16## dump all credentials
17$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
18
Note: See TracBrowser for help on using the repository browser.