abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
|
Last change
on this file since ecb1628 was
7e3f5e2,
checked in by Mei <mei@…>, 12 years ago
|
|
1) converted daisychain scaling tests
|
-
Property mode set to
100644
|
|
File size:
914 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | # |
|---|
| 3 | # This demonstrates scalability of libabac. |
|---|
| 4 | # A basic chaining attribute rule, Ai+1.likes <- Ai.likes |
|---|
| 5 | # and the borderline case of Ao.likes <- Ao are created in |
|---|
| 6 | # ATTR.py. X of these attribute rules are made, where the |
|---|
| 7 | # matching ID principals are made in SETUP.py. |
|---|
| 8 | # A query of Ax.likes <-?- Ao will let us know how fast |
|---|
| 9 | # do the prolog db runs down the X attribute rules to arrive |
|---|
| 10 | # at the solution and also Ao.likes <-?- Ax tells us |
|---|
| 11 | # how long it takes to not validate the assumption |
|---|
| 12 | |
|---|
| 13 | # borderline Credential |
|---|
| 14 | # [keyid:John0].role:likes <- [keyid:John0] |
|---|
| 15 | # |
|---|
| 16 | # [keyid:John1].role:likes <- [keyid:John0].likes |
|---|
| 17 | # John1 likes everything John0 likes |
|---|
| 18 | # |
|---|
| 19 | # [keyid:John2].role:likes <- [keyid:John1].likes |
|---|
| 20 | # |
|---|
| 21 | # and so on |
|---|
| 22 | |
|---|
| 23 | # good query, Does JohnN likes John0 ? |
|---|
| 24 | # [keyid:JohnN].role:likes <-?- [keyid:John0] |
|---|
| 25 | # |
|---|
| 26 | # bad query, Does John0 likes JohnN? |
|---|
| 27 | # [keyid:John0].role:likes <-?- [keyid:JohnN] |
|---|
Note: See
TracBrowser
for help on using the repository browser.
