mei_rt2mei_rt2_fix_1meiyap-rt1rt2
rt2-01
|
Last change
on this file since 10e1588 was
10e1588,
checked in by Mei <mei@…>, 13 years ago
|
|
1) added oset handling
2) add dynamic constraints
|
-
Property mode set to
100755
|
|
File size:
553 bytes
|
| Line | |
|---|
| 1 | |
|---|
| 2 | rm -rf creds_dump |
|---|
| 3 | |
|---|
| 4 | eloc=/home/mei/Deter/abac/libabac |
|---|
| 5 | keyloc=/home/mei/Deter/abac/examples/access_rt2_typed |
|---|
| 6 | |
|---|
| 7 | alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem` |
|---|
| 8 | bob=`creddy --keyid --cert $keyloc/Bob_ID.pem` |
|---|
| 9 | |
|---|
| 10 | access_fileA="[keyid:$alpha].role:access([string:'read'],[urn:'file//fileA'])" |
|---|
| 11 | bob_prin="[keyid:$bob]" |
|---|
| 12 | |
|---|
| 13 | #[keyid:Alpha].role:access([string:'read'],[urn:'file//fileA']) <-?- [keyid:bob] (yes) |
|---|
| 14 | echo "===good============ Alpha.access(read,fileA)<-?-Bob yap " |
|---|
| 15 | $eloc/abac_prover_yap --keystore $keyloc --role "$access_fileA" --principal "$bob_prin" |
|---|
Note: See
TracBrowser
for help on using the repository browser.
